forked from openkylin/z3
161 lines
4.9 KiB
Python
161 lines
4.9 KiB
Python
#
|
|
# Copyright (c) 2018 Microsoft Corporation
|
|
#
|
|
|
|
# 1. copy over dlls
|
|
# 2. copy over libz3.dll for the different architectures
|
|
# 3. copy over Microsoft.Z3.dll from suitable distribution
|
|
# 4. copy nuspec file from packages
|
|
# 5. call nuget pack
|
|
# 6. sign package
|
|
|
|
import json
|
|
import os
|
|
import zipfile
|
|
import sys
|
|
import os.path
|
|
import shutil
|
|
import subprocess
|
|
|
|
def mk_dir(d):
|
|
if not os.path.exists(d):
|
|
os.makedirs(d)
|
|
|
|
|
|
os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'),
|
|
'ubuntu-16' : ('so', 'ubuntu-x64'),
|
|
'x64-win' : ('dll', 'win-x64'),
|
|
# Skip x86 as I can't get dotnet build to produce AnyCPU TargetPlatform
|
|
# 'x86-win' : ('dll', 'win-x86'),
|
|
'osx' : ('dylib', 'macos'),
|
|
'debian' : ('so', 'debian.8-x64') }
|
|
|
|
def classify_package(f):
|
|
for os_name in os_info:
|
|
if os_name in f:
|
|
ext, dst = os_info[os_name]
|
|
return os_name, f[:-4], ext, dst
|
|
return None
|
|
|
|
|
|
def unpack(packages):
|
|
# unzip files in packages
|
|
# out
|
|
# +- runtimes
|
|
# +- win-x64
|
|
# +- win-x86
|
|
# +- ubuntu.16.04-x64
|
|
# +- ubuntu.14.04-x64
|
|
# +- debian.8-x64
|
|
# +- macos
|
|
# +
|
|
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)
|
|
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/native" % dst)
|
|
shutil.move("tmp/%s/bin/libz3.%s" % (package_dir, ext), "out/runtimes/%s/native/." % dst)
|
|
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")
|
|
shutil.move("tmp/%s/bin/%s" % (package_dir, b), "out/lib/netstandard1.4/%s" % b)
|
|
|
|
def mk_targets():
|
|
mk_dir("out/build")
|
|
shutil.copy("../src/api/dotnet/Microsoft.Z3.targets.in", "out/build/Microsoft.Z3.targets")
|
|
|
|
def create_nuget_spec(release_version, release_commit):
|
|
contents = """<?xml version="1.0" encoding="utf-8"?>
|
|
<package xmlns="http://schemas.microsoft.com/packaging/2010/07/nuspec.xsd">
|
|
<metadata>
|
|
<id>Microsoft.Z3.x64</id>
|
|
<version>{0}</version>
|
|
<authors>Microsoft</authors>
|
|
<description>
|
|
Z3 is a satisfiability modulo theories solver from Microsoft Research.
|
|
|
|
Linux Dependencies:
|
|
libgomp.so.1 installed
|
|
</description>
|
|
<copyright>© Microsoft Corporation. All rights reserved.</copyright>
|
|
<tags>smt constraint solver theorem prover</tags>
|
|
<iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/{1}/resources/icon.jpg</iconUrl>
|
|
<projectUrl>https://github.com/Z3Prover/z3</projectUrl>
|
|
<licenseUrl>https://raw.githubusercontent.com/Z3Prover/z3/{1}/LICENSE.txt</licenseUrl>
|
|
<repository type="git" url="https://github.com/Z3Prover/z3.git" branch="master" commit="{1}" />
|
|
<requireLicenseAcceptance>true</requireLicenseAcceptance>
|
|
<language>en</language>
|
|
</metadata>
|
|
</package>""".format(release_version, release_commit)
|
|
print(contents)
|
|
with open("out/Microsoft.Z3.x64.nuspec", 'w') as f:
|
|
f.write(contents)
|
|
|
|
nuget_sign_input = """
|
|
{
|
|
"Version": "1.0.0",
|
|
"SignBatches"
|
|
:
|
|
[
|
|
{
|
|
"SourceLocationType": "UNC",
|
|
"SourceRootDirectory": "%s",
|
|
"DestinationLocationType": "UNC",
|
|
"DestinationRootDirectory": "%s",
|
|
"SignRequestFiles": [
|
|
{
|
|
"CustomerCorrelationId": "42fc9577-af9e-4ac9-995d-1788d8721d17",
|
|
"SourceLocation": "Microsoft.Z3.x64.%s.nupkg",
|
|
"DestinationLocation": "Microsoft.Z3.x64.%s.nupkg"
|
|
}
|
|
],
|
|
"SigningInfo": {
|
|
"Operations": [
|
|
{
|
|
"KeyCode" : "CP-401405",
|
|
"OperationCode" : "NuGetSign",
|
|
"Parameters" : {},
|
|
"ToolName" : "sign",
|
|
"ToolVersion" : "1.0"
|
|
},
|
|
{
|
|
"KeyCode" : "CP-401405",
|
|
"OperationCode" : "NuGetVerify",
|
|
"Parameters" : {},
|
|
"ToolName" : "sign",
|
|
"ToolVersion" : "1.0"
|
|
}
|
|
]
|
|
}
|
|
}
|
|
]
|
|
}"""
|
|
|
|
def create_sign_input(release_version):
|
|
package_name = "Microsoft.Z3.x64.%s.nupkg" % release_version
|
|
input_file = "out/nuget_sign_input.json"
|
|
output_path = os.path.abspath("out").replace("\\","\\\\")
|
|
with open(input_file, 'w') as f:
|
|
f.write(nuget_sign_input % (output_path, output_path, release_version, release_version))
|
|
|
|
|
|
def main():
|
|
packages = sys.argv[1]
|
|
release_version = sys.argv[2]
|
|
release_commit = sys.argv[3]
|
|
print(packages)
|
|
mk_dir(packages)
|
|
unpack(packages)
|
|
mk_targets()
|
|
create_nuget_spec(release_version, release_commit)
|
|
create_sign_input(release_version)
|
|
# create_nuget_package()
|
|
# sign_nuget_package(release_version)
|
|
|
|
|
|
main()
|