4.4

2015-10-18 23:44:32 +01:00
parent 3c3eb0c398
commit 495fdca699
3 changed files with 23246 additions and 10 deletions
--- a/packages/gecode/dev/code-generator.py
+++ b/packages/gecode/dev/code-generator.py
@@ -666,15 +666,18 @@ def gecode_version():
@@GECODE_VERSION""")
    f.close()
    cxx.preprocess(file_hh,output_file=file_txt)
-    f = open(file_txt)
-    version = ""
-    for line in f:
-        if line.startswith("@@"):
-            version = line[3:-2]
-            break
-    f.close()
-    os.remove(file_hh)
-    os.remove(file_txt)
+    if True:
+        f = open(file_txt)
+        version = ""
+        for line in f:
+            if line.startswith("@@"):
+                version = line[3:-2]
+                break
+        f.close()
+        os.remove(file_hh)
+        os.remove(file_txt)
+    else:
+        version = "4.4.0" 
    GECODE_VERSION = version
    return version