Sfoglia il codice sorgente

Fix bootstrap generation file for Windows, which doesn't like opening
files twice

Yentl Van Tendeloo 8 anni fa
parent
commit
6711c5ff7b
1 ha cambiato i file con 2 aggiunte e 3 eliminazioni
  1. 2 3
      bootstrap/bootstrap.py

+ 2 - 3
bootstrap/bootstrap.py

@@ -232,15 +232,14 @@ def bootstrap():
                     from hutn_compiler.compiler import main as compile_code
 
                     if not is_file:
-                        f = tempfile.NamedTemporaryFile()
+                        f = tempfile.NamedTemporaryFile(delete=False)
                         f.write(code)
                         f.flush()
                         filename = f.name
+                        f.close()
                     else:
                         filename = code
                     code = compile_code(filename, "interface/HUTN/grammars/actionlanguage.g", "BS", ["--debug", "--prepend:%s" % prepend, "--main" if main else "--not-main"], symbols=symbols)
-                    if not is_file:
-                        f.close()
                     return code.replace("auto_initial_IP", target)
 
                 # Create all library code