forked from M-Labs/nac3
22 lines
501 B
Bash
22 lines
501 B
Bash
|
#!/usr/bin/env bash
|
||
|
|
|
||
|
|
set -e
|
||
|
|
|
||
|
|
if [ -z "$1" ]; then
|
||
|
|
echo "No argument supplied"
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
|
||
|
|
if [ -e ../../target/release/nac3standalone ]; then
|
||
|
|
nac3standalone=../../target/release/nac3standalone
|
||
|
|
else
|
||
|
|
# used by Nix builds
|
||
|
|
nac3standalone=../../target/x86_64-unknown-linux-gnu/release/nac3standalone
|
||
|
|
fi
|
||
|
|
|
||
|
|
rm -f "*.o" "*.bc" demo
|
||
|
|
|
||
|
|
$nac3standalone --emit-llvm "$@"
|
||
|
|
clang -c -std=gnu11 -Wall -Wextra -O3 -emit-llvm -o demo.bc demo.c
|
||
|
|
lli --extra-module demo.bc --extra-module irrt.bc main.bc
|