inttrs

#!/bin/bash
trap "" SIGRTMIN
./convert.native --convert-to IntTRS $1 > prog.inttrs
HAT="HAT"
EXCL="EXCL"
PRIME="'"
while grep -Fxq "$HAT" prog.inttrs
do
    HAT=$HAT$PRIME
done
while grep -Fxq "$EXCL" prog.inttrs
do
    EXCL=$EXCL$PRIME
done
sed -i "s/\^/$HAT/g" prog.inttrs
sed -i "s/!/$EXCL/g" prog.inttrs
LD_LIBRARY_PATH=../lib:$LD_LIBRARY_PATH PATH=.:$PATH ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -p plain -m wst -w 4 prog.inttrs 2> /dev/null
rm prog.inttrs