Commits

Iago Abal committed c0478ee

Clarify why gomp was removed from Windows extra-libraries

Comments (0)

Files changed (1)

 
     includes:            z3.h
 
-    -- In OS X libz3 is linked statically against libgomp
+    -- In OS X libz3 is linked statically against libgomp.
+    -- In Windows Z3 is compiled using MS C++.
     if os(darwin) || os(windows)
         extra-libraries:     z3
     else