/scripts/compile-prelude

http://github.com/Eelis/geordi · Shell · 19 lines · 16 code · 2 blank · 1 comment · 1 complexity · bad143846631696a13b4c0cdbe1f5932 MD5 · raw file 

    

  1. #!/bin/sh
    2. 

  2. set -eu
    3. 

  3. 

  4. DATA=""
    5. 

  5. if [ "${DATA}" = "" ] ; then
    6. 

  6.   echo "Run geordi-compile-prelude instead."
    7. 

  7.   exit 1
    8. 

  8. fi
    9. 

  9. 

  10. . "${DATA}/compile-config"
    11. 

  11. cd "${DATA}/prelude"
    12. 

  12. $GXX $COMPILE_FLAGS -c prelude.cpp tracked.cpp more_ostreaming.cpp
    13. 

  13. cd "${DATA}"
    14. 

  14. rm -f rt/prelude.a
    15. 

  15. ar -rsc rt/prelude.a prelude/*.o
    16. 

  16. $GXX $COMPILE_FLAGS -c -x c++-header prelude/prelude.hpp -o rt/prelude.hpp.gch
    17. 

  17. chmod 644 rt/prelude.a rt/prelude.hpp.gch
    18. 

  18. cp prelude/terse.hpp rt/
    19. 

  19. $GXX $COMPILE_FLAGS -fPIC -shared -Wl,-soname,libtpreload.so.0 -o rt/libtpreload.so.0.0 prelude/tpreload.cpp
    20.