Commits

Iago Abal committed 742c1fc

Do not link against OpenMP on OS X
In OS X libz3 is statically linked against libgomp.
What is more, apparently default OS X installations do not
provide a shared library for OpenMP: thus the package loading
fails when libgimp.dylib is not found.

  • Participants
  • Parent commits 4b36d1a

Comments (0)

Files changed (1)

     Build-tools:         hsc2hs
     Extensions:          ForeignFunctionInterface
     includes:            z3.h
-    extra-libraries:     gomp z3 gomp
+
+    -- In OS X libz3 is linked statically against libgomp
+    if os(darwin)
+        extra-libraries:     z3
+    else
+        extra-libraries:     gomp z3 gomp