#!/bin/bash
set -e

source library.sh

# Leave this here too, as the call might crash early
curl http://localhost:8001 -d "op=set_input&username=user_manager&element_type=V&value=\"$2\"" -s -S >> /dev/null

f=`realpath $1`
cd interface/HUTN
${python} hutn_compiler/compiler.py $f grammars/actionlanguage.g ${4-PO} $2 $3 $f $5