mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 10:55:50 +00:00
Code Activity

tweaks to mk_nuget_release

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-11-19 15:35:42 -08:00
parent e83e9b02df
commit 76d0a5a6ed
1 changed files with 13 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

22
scripts/mk_nuget_release.py
View file

@ -23,6 +23,8 @@ data = json.loads(urllib.request.urlopen("https://api.github.com/repos/Z3Prover/
version_str = data['tag_name']
print(version_str)
def mk_dir(d):
if not os.path.exists(d):
os.makedirs(d)
@ -33,12 +35,13 @@ def download_installs():
name = asset['name']
print("Downloading ", url)
sys.stdout.flush()
continue
urllib.request.urlretrieve(url, "packages/%s" % name)
os_info = {"ubuntu-14" : ('so', 'ubuntu.14.04-x64'),
os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'),
'ubuntu-16' : ('so', 'ubuntu.16.04-x64'),
'win' : ('dll', 'win-x64'),
'win' : ('dll', 'win-x86'),
'x64-win' : ('dll', 'win-x64'),
'x86-win' : ('dll', 'win-x86'),
'osx' : ('dylib', 'macos'),
'debian' : ('so', 'debian.8-x64') }
@ -50,6 +53,7 @@ def classify_package(f):
return None
def unpack():
shutil.rmtree("out")
# unzip files in packages
# out
# +- runtimes
@ -62,9 +66,10 @@ def unpack():
# +
for f in os.listdir("packages"):
print(f)
if f.endswith("zip") and classify_package(f):
os_name, package_dir, ext, dst = classify_package(f)
zip_ref = zipfile.ZipFile("packages/%s" % f, 'r')
if f.endswith(".zip") and classify_package(f):
os_name, package_dir, ext, dst = classify_package(f)
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")
@ -75,7 +80,6 @@ def unpack():
shutil.move("tmp/%s/bin/%s" % (package_dir, b), "out/lib/netstandard1.4/%s" % b)
def create_nuget_spec():
mk_project.init_version()
contents = """<?xml version="1.0" encoding="utf-8"?>
<package xmlns="http://schemas.microsoft.com/packaging/2010/07/nuspec.xsd">
<metadata>
@ -99,8 +103,8 @@ def create_nuget_spec():
</package>"""
with open("out/Microsoft.Z3.nuspec", 'w') as f:
f.write(contents % mk_util.get_version_string(3))
f.write(contents % version_str[3:])
def create_nuget_package():
subprocess.call(["nuget", "pack"], cwd="out")