123456789101112 |
- #!/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
|