瀏覽代碼

Ported link_and_load to Python

Yentl Van Tendeloo 9 年之前
父節點
當前提交
3f907f8fd5
共有 7 個文件被更改,包括 15 次插入71 次删除
  1. 0 13
      compile.bat
  2. 0 16
      compile.sh
  3. 0 8
      curl.py
  4. 0 5
      library.sh
  5. 0 19
      link_and_load.bat
  6. 0 10
      link_and_load.sh
  7. 15 0
      scripts/link_and_load.py

+ 0 - 13
compile.bat

@@ -1,13 +0,0 @@
-set address=%1
-set filename=%~f2
-set username=%3
-set modulename=%4
-set mode=%5
-
-# Leave this here too, as the call might crash early
-set command="op=set_input&username=user_manager&element_type=V&value=\"%username%\""
-python curl.py %address% %command%
-
-cd interface\HUTN
-python hutn_compiler/compiler.py $filename grammars/actionlanguage.g %mode% %username% %modulename% %filename% %address%
-cd ..\..

+ 0 - 16
compile.sh

@@ -1,16 +0,0 @@
-#!/bin/bash
-set -e
-
-source library.sh
-
-address=$1
-filename=`realpath $2`
-username=$3
-modulename=$4
-mode=$5
-
-# Leave this here too, as the call might crash early
-curl $address -d "op=set_input&username=user_manager&element_type=V&value=\"$username\"" -s -S >> /dev/null
-
-cd interface/HUTN
-${python} hutn_compiler/compiler.py $filename grammars/actionlanguage.g $mode $username $modulename $filename $address

+ 0 - 8
curl.py

@@ -1,8 +0,0 @@
-import urllib
-import urllib2
-import sys
-
-address = sys.argv[1]
-command = sys.argv[2]
-
-urllib2.urlopen(urllib2.Request(address, command)).read()

+ 0 - 5
library.sh

@@ -1,5 +0,0 @@
-if type "pypy" > /dev/null; then
-    python="pypy"
-else
-    python="python"
-fi

+ 0 - 19
link_and_load.bat

@@ -1,19 +0,0 @@
-set address=%1
-set username=%2
-
-set params=%1
-
-:loop
-shift
-if [%1]==[] goto afterloop
-set params=%params% %1
-goto loop
-:afterloop
-
-rem pop it once more
-set params=%1
-goto loop
-
-curl $address -d "op=set_input&username=user_manager&element_type=V&value=\"$username\"" -s -S >> /dev/null
-
-python interface/HUTN/hutn_compiler/linker.py $address $username "$@"

+ 0 - 10
link_and_load.sh

@@ -1,10 +0,0 @@
-#!/bin/bash
-set -e
-address=$1
-username=$2
-shift
-shift
-
-curl $address -d "op=set_input&username=user_manager&element_type=V&value=\"$username\"" -s -S >> /dev/null
-
-python interface/HUTN/hutn_compiler/linker.py $address $username "$@"

+ 15 - 0
scripts/link_and_load.py

@@ -0,0 +1,15 @@
+import sys
+import urllib2
+
+address = sys.argv[1]
+username = sys.argv[2]
+
+urllib2.urlopen(urllib2.Request(address, "op=set_input&username=user_manager&element_type=V&value=\"%s\"" % username)).read()
+
+
+objects = [arg for arg in sys.argv[3:] if arg is not "--fast"]
+fast = len(objects) != len(sys.argv[3:])
+
+sys.path.append("interface/HUTN")
+from hutn_compiler.linker import link
+link(address, username, sys.argv[3:], fast)