search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
121 stars 33 forks source link

Remove -fopenmp on Mac #50

Closed mantognini closed 7 years ago

mantognini commented 7 years ago

Apple has replaced gcc by clang since a few years now, but their version of clang seems to lack support for -fopenmp. Removing this option allows one to successfully run sbt package (which was only silently failing before this change) and therefore use it on OS X.

samarion commented 7 years ago

Can the published jar then be used as a backend to Leon?

mantognini commented 7 years ago

The generated jar can indeed be used with Leon.