diff options
| author | Alasdair | 2018-06-14 04:49:47 +0100 |
|---|---|---|
| committer | Alasdair | 2018-06-14 04:54:34 +0100 |
| commit | 5dc3ee5029f6e828b7e77a176a67894e8fa00696 (patch) | |
| tree | 898ad1b45264f3e53786456babd71ff2f13d56f4 /test/c | |
| parent | 4b6732fdddebc07f072e012a52f7d9541e4d657c (diff) | |
Refactor C backend, and split RTS into multiple files
Diffstat (limited to 'test/c')
| -rwxr-xr-x | test/c/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/c/run_tests.sh b/test/c/run_tests.sh index 0990938d..b1ead724 100755 --- a/test/c/run_tests.sh +++ b/test/c/run_tests.sh @@ -54,7 +54,7 @@ function run_c_tests { if $SAILDIR/sail -no_warn -c $SAIL_OPTS $file 1> ${file%.sail}.c 2> /dev/null; then green "compiling $(basename $file) ($SAIL_OPTS)" "ok"; - if gcc $CC_OPTS ${file%.sail}.c -lgmp -I $SAILDIR/lib; + if gcc $CC_OPTS ${file%.sail}.c $SAILDIR/lib/*.c -lgmp -I $SAILDIR/lib; then green "compiling $(basename ${file%.sail}.c) ($CC_OPTS)" "ok"; $DIR/a.out 1> ${file%.sail}.result 2> /dev/null; |