mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
update java install/build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
c8c2e3a7b7
commit
527f824adf
|
@ -258,7 +258,7 @@ def mk_z3(arch):
|
|||
cmds.append('cd %s' % build_dir)
|
||||
cmds.append('nmake install')
|
||||
if exec_cmds(cmds) != 0:
|
||||
raise MKException("Failed to make z3"))
|
||||
raise MKException("Failed to make z3")
|
||||
|
||||
def mk_z3s():
|
||||
global ARCHS
|
||||
|
|
Loading…
Reference in a new issue