launch.envreg 324 B

12345678910111213141516171819
  1. #! /bin/sh
  2. #
  3. # Compile and install the GCC4TI environment registrator
  4. #
  5. isbsd=`uname | grep "BSD"`
  6. if [ "$isbsd" = "" ]; then
  7. #Assume GNU make
  8. make=make
  9. else
  10. make=gmake
  11. fi
  12. echo Installing GCC4TI environment registrator...
  13. cd ../sources/envreg/src/
  14. ${make} -e
  15. cp envreg $TIGCC/bin
  16. ${make} clean
  17. echo Done.