3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 09:34:08 +00:00

Fixed linkopts -lstdc++ for ocaml bindings

This commit is contained in:
philzook58 2019-10-09 15:52:22 -04:00 committed by Nikolaj Bjorner
parent c1fa844460
commit 5eead52cc0

View file

@ -8,4 +8,4 @@ archive(byte,plugin) = "z3ml.cma"
archive(native,plugin) = "z3ml.cmxs"
archive(byte,toploop) = "z3ml.cma"
archive(native,toploop) = "z3ml.cmxa"
linkopts = "-cclib @LEXTRA@"
linkopts = "-cclib -lstdc++ @LEXTRA@"