Browse Source

Do replacement of \ with / in make scripts

Yentl Van Tendeloo 9 years ago
parent
commit
d2eb014a45
4 changed files with 4 additions and 4 deletions
  1. 1 1
      scripts/compile.py
  2. 1 1
      scripts/link_and_load.py
  3. 1 1
      scripts/make_all.py
  4. 1 1
      scripts/make_parallel.py

+ 1 - 1
scripts/compile.py

@@ -6,7 +6,7 @@ import subprocess
 def do_compile(address, filename, username, modulename, mode):
     filename = os.path.realpath(filename)
     try:
-        urllib2.urlopen(urllib2.Request(address, "op=set_input&username=user_manager&element_type=V&value=\"%s\"" % username)).read()
+        urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&element_type=V&value="%s"' % username)).read()
         subprocess.check_call([sys.executable, "hutn_compiler/compiler.py", filename, "grammars/actionlanguage.g", mode, username, modulename, filename, address], cwd="interface/HUTN")
     except urllib2.URLError:
         return 2

+ 1 - 1
scripts/link_and_load.py

@@ -2,7 +2,7 @@ import sys
 import urllib2
 
 def link_and_load(address, username, objs, fast):
-    urllib2.urlopen(urllib2.Request(address, "op=set_input&username=user_manager&element_type=V&value=\"%s\"" % username)).read()
+    urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&element_type=V&value="%s"' % username)).read()
 
     sys.path.append("interface/HUTN")
     from hutn_compiler.linker import link

+ 1 - 1
scripts/make_all.py

@@ -7,7 +7,7 @@ import glob
 
 address = sys.argv[1]
 username = sys.argv[2]
-files = sum([glob.glob(f) for f in sys.argv[3:]], [])
+files = [a.replace("\\", "/") for a in sum([glob.glob(f) for f in sys.argv[3:]], [])]
 
 for f in files:
     do_compile(address, f, str(random.random()), f, "CO")

+ 1 - 1
scripts/make_parallel.py

@@ -8,7 +8,7 @@ import glob
 
 address = sys.argv[1]
 username = sys.argv[2]
-files = sum([glob.glob(f) for f in sys.argv[3:]], [])
+files = [a.replace("\\", "/") for a in sum([glob.glob(f) for f in sys.argv[3:]], [])]
 
 def do_compile_wrapper(filename):
     do_compile(address, filename, str(random.random()), filename, "PO")