/scripts/compile-prelude

 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