Merge pull request #448 from oscar-system/bl/extconfrace

oscar-system · Aug 19, 2023 · d90b81c · d90b81c · benlorenz · Aug 19, 2023
2 parents 982b863 + fc0393c
commit d90b81c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "Polymake"
 uuid = "d720cf60-89b5-51f5-aff5-213f193123e7"
 repo = "https://github.com/oscar-system/Polymake.jl.git"
-version = "0.11.2"
+version = "0.11.3"
 
 [deps]
 BinaryWrappers = "f01c122e-0ea1-4f85-ad8f-907073ad7a9f"

diff --git a/src/Polymake.jl b/src/Polymake.jl
@@ -204,9 +204,11 @@ function __init__()
     end
 
     polymake_extension_config = joinpath(polymake_deps_tree, "extensions.json")
-    open(polymake_extension_config, "w") do file
+    tmpfile = tempname(polymake_deps_tree; cleanup=false)
+    open(tmpfile, "w") do file
        JSON.print(file, Dict("Polymake::User::extensions" => extensionpaths))
     end
+    Base.Filesystem.rename(tmpfile, polymake_extension_config)
 
     # Temporarily unset PERL5LIB during initialization
     # This variable can cause errors if the perl modules in this folder were not