run_euforia.sh.in

#!/usr/bin/env bash

# Run EUForia on .c file

if test -z "$1"; then
  echo "Need filename"
  exit 1
fi

args=""
while [ "$#" -gt "1" ]; do
  args="$1 $args"
  shift
done

euforia="@CMAKE_INSTALL_PREFIX@/bin/euforia"
clang="@LLVM_DIR@/../../../bin/clang"

test -x $euforia || { echo "$euforia not found"; exit 1; }
test -x $clang || { echo "$clang not found"; exit 1; }

#outfile=/tmp/foo.bc
outfile=`mktemp /tmp/$(basename $1 .c).bc.XXXXXX`
test -f "$outfile" || { echo "error in mktemp: $outfile"; exit 1; }

$clang -c -emit-llvm -m32 -o $outfile "$1"
shift
$euforia $args "$outfile"

rm -f "$outfile"