mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-09 23:53:25 +00:00
Code Activity

Fix https://github.com/Z3Prover/z3/issues/2998

Browse source
This commit is contained in:
Rose Kunkel 2020-02-13 19:26:55 -08:00 • committed by Nikolaj Bjorner
parent 120ca31fae
commit aaf2c3bdcc
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
scripts/mk_util.py
View file

@ -591,7 +591,6 @@ if os.name == 'nt':
elif os.name == 'posix': elif os.name == 'posix':
if os.uname()[0] == 'Darwin': if os.uname()[0] == 'Darwin':
IS_OSX=True IS_OSX=True
PREFIX="/usr/local"
elif os.uname()[0] == 'Linux': elif os.uname()[0] == 'Linux':
IS_LINUX=True IS_LINUX=True
elif os.uname()[0] == 'GNU': elif os.uname()[0] == 'GNU':