compile.bat 381 B

12345678910111213
  1. address=%1
  2. filename=%~f2
  3. username=%3
  4. modulename=%4
  5. mode=%5
  6. # Leave this here too, as the call might crash early
  7. set command="op=set_input&username=user_manager&element_type=V&value=\"%username%\""
  8. python curl.py %address% %command%
  9. cd interface\HUTN
  10. python hutn_compiler/compiler.py $filename grammars/actionlanguage.g %mode% %username% %modulename% %filename% %address%
  11. cd ..\..