diff --git a/nac3standalone/demo/run_demo.sh b/nac3standalone/demo/run_demo.sh index a4f5b08..b93dfdb 100755 --- a/nac3standalone/demo/run_demo.sh +++ b/nac3standalone/demo/run_demo.sh @@ -31,9 +31,8 @@ else nac3standalone=../../target/x86_64-unknown-linux-gnu/release/nac3standalone fi +rm -f ./*.o ./*.bc demo if [ -z "$use_lli" ]; then - rm -f "*.o" demo - $nac3standalone "${nac3args[@]}" clang -c -std=gnu11 -Wall -Wextra -O3 -o demo.o demo.c @@ -45,15 +44,19 @@ if [ -z "$use_lli" ]; then ./demo > "$outfile" fi else - rm -f "*.o" "*.bc" demo - $nac3standalone --emit-llvm "${nac3args[@]}" clang -c -std=gnu11 -Wall -Wextra -O3 -emit-llvm -o demo.bc demo.c - if [ -z "$outfile" ]; then - lli --extra-module demo.bc --extra-module irrt.bc main.bc + if ls module*.bc >/dev/null 2>&1; then + llvm-link -o module.bc module*.bc main.bc else - lli --extra-module demo.bc --extra-module irrt.bc main.bc > "$outfile" + llvm-link -o module.bc main.bc + fi + + if [ -z "$outfile" ]; then + lli --extra-module demo.bc --extra-module irrt.bc module.bc + else + lli --extra-module demo.bc --extra-module irrt.bc module.bc > "$outfile" fi fi