/scripts/compile-prelude
Shell | 19 lines | 16 code | 2 blank | 1 comment | 1 complexity | bad143846631696a13b4c0cdbe1f5932 MD5 | raw file
1#!/bin/sh 2set -eu 3 4DATA="" 5if [ "${DATA}" = "" ] ; then 6 echo "Run geordi-compile-prelude instead." 7 exit 1 8fi 9 10. "${DATA}/compile-config" 11cd "${DATA}/prelude" 12$GXX $COMPILE_FLAGS -c prelude.cpp tracked.cpp more_ostreaming.cpp 13cd "${DATA}" 14rm -f rt/prelude.a 15ar -rsc rt/prelude.a prelude/*.o 16$GXX $COMPILE_FLAGS -c -x c++-header prelude/prelude.hpp -o rt/prelude.hpp.gch 17chmod 644 rt/prelude.a rt/prelude.hpp.gch 18cp prelude/terse.hpp rt/ 19$GXX $COMPILE_FLAGS -fPIC -shared -Wl,-soname,libtpreload.so.0 -o rt/libtpreload.so.0.0 prelude/tpreload.cpp