mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 19:35:50 +00:00
Code Activity

Merge pull request #2025 from msoeken/nuget-release

Browse source 
Changes to NuGet release script
This commit is contained in:
Nikolaj Bjorner 2018-12-06 07:41:52 -08:00 • committed by GitHub
commit e1b1953ff1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
scripts/mk_nuget_release.py
View file

@ -52,7 +52,7 @@ def classify_package(f):
return None
def unpack():
shutil.rmtree("out")
shutil.rmtree("out", ignore_errors=True)
# unzip files in packages
# out
# +- runtimes
@ -70,9 +70,9 @@ def unpack():
path = os.path.abspath(os.path.join("packages", f))
zip_ref = zipfile.ZipFile(path, 'r')
zip_ref.extract("%s/bin/libz3.%s" % (package_dir, ext), "tmp")
mk_dir("out/runtimes/%s" % dst)
shutil.move("tmp/%s/bin/libz3.%s" % (package_dir, ext), "out/runtimes/%s/." % dst, "/y")
if "win" in f:
mk_dir("out/runtimes/%s/native" % dst)
shutil.move("tmp/%s/bin/libz3.%s" % (package_dir, ext), "out/runtimes/%s/native/." % dst, "/y")
if "x64-win" in f:
mk_dir("out/lib/netstandard1.4/")
for b in ["Microsoft.Z3.dll"]:
zip_ref.extract("%s/bin/%s" % (package_dir, b), "tmp")