mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
Code Activity

Merge pull request #2294 from AltGr/fix-ml-static-linking

Browse source 
ml API + static linking: small fix on top of #2292
This commit is contained in:
Nikolaj Bjorner 2019-05-29 16:16:17 +02:00 committed by GitHub
parent 8f36868285 5c0ad963c1
commit 857dc0fcec
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -2270,7 +2270,7 @@ class MLComponent(Component):
OCAMLMKLIB = 'ocamlmklib'
LIBZ3 = '-l' + z3link
LIBZ3 = '-cclib -l' + z3link
if is_cygwin() and not(is_cygwin_mingw()):
LIBZ3 = z3linkdep