Merge branch 'master' of https://github.com/denys-duchier/yap-6.3

2011-08-12 11:53:07 -03:00 · 2011-08-12 11:53:07 -03:00 · dc080f4d45
commit dc080f4d45
parent 23be6ccdfc 4c4f3b624d
1 changed files with 3 additions and 2 deletions
--- a/library/gecode/code-generator.py
+++ b/library/gecode/code-generator.py
@ -648,8 +648,9 @@ def gecode_version():
    import os
    cxx = new_compiler()
    customize_compiler(cxx)
-    file_hh = "_gecode_version.hh"
-    file_txt = "_gecode_version.txt"
+    pid = os.getpid()
+    file_hh = "_gecode_version_%d.hh" % pid
+    file_txt = "_gecode_version_%d.txt" % pid
    f = file(file_hh,"w")
    f.write("""#include "gecode/support/config.hpp"
@@GECODE_VERSION""")