mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

change to osx-11.0

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-06-02 07:20:28 -07:00
parent 4191d84e58
commit c7560e1394
2 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
scripts/mk_unix_dist.py
View file

@ -28,7 +28,7 @@ JAVA_ENABLED=True
GIT_HASH=False GIT_HASH=False
PYTHON_ENABLED=True PYTHON_ENABLED=True
MAKEJOBS=getenv("MAKEJOBS", '8') MAKEJOBS=getenv("MAKEJOBS", '8')
OS_VERSION=None OS_NAME=None
def set_verbose(flag): def set_verbose(flag):
global VERBOSE global VERBOSE
@ -66,7 +66,7 @@ def display_help():
# Parse configuration option for mk_make script # Parse configuration option for mk_make script
def parse_options(): def parse_options():
global FORCE_MK, JAVA_ENABLED, GIT_HASH, DOTNET_CORE_ENABLED, DOTNET_KEY_FILE, OS_VERSION global FORCE_MK, JAVA_ENABLED, GIT_HASH, DOTNET_CORE_ENABLED, DOTNET_KEY_FILE, OS_NAME
path = BUILD_DIR path = BUILD_DIR
options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:hsf', ['build=', options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:hsf', ['build=',
'help', 'help',
@ -107,7 +107,7 @@ def parse_options():
else: else:
raise MKException("Invalid architecture directive '%s'. Legal directives: arm64" % arg) raise MKException("Invalid architecture directive '%s'. Legal directives: arm64" % arg)
elif opt == '--os': elif opt == '--os':
OS_VERSION = arg OS_NAME = arg
else: else:
raise MKException("Invalid command line option '%s'" % opt) raise MKException("Invalid command line option '%s'" % opt)
set_build_dir(path) set_build_dir(path)
@ -159,8 +159,8 @@ def mk_z3():
return 1 return 1
def get_os_name(): def get_os_name():
if OS_VERSION is not None: if OS_NAME is not None:
return OS_VERSION return OS_NAME
import platform import platform
basic = os.uname()[0].lower() basic = os.uname()[0].lower()
if basic == 'linux': if basic == 'linux':

2
scripts/nightly.yaml
View file

@ -29,7 +29,7 @@ stages:
pool: pool:
vmImage: "macOS-12" vmImage: "macOS-12"
steps: steps:
- script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 --nojava --os=11.0 - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 --nojava --os=osx-11.0
- script: git clone https://github.com/z3prover/z3test z3test - script: git clone https://github.com/z3prover/z3test z3test
- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
- task: PublishPipelineArtifact@1 - task: PublishPipelineArtifact@1