PageRenderTime 7ms CodeModel.GetById 2ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/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
 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