projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c2b7c5) | patch
fixed a number of problems with mac os x builds. build now works on mac os x if...
authorMorgan Deters <mdeters@gmail.com>
Thu, 30 Sep 2010 21:39:14 +0000 (21:39 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 30 Sep 2010 21:39:14 +0000 (21:39 +0000)
commitd0b49d588033ab8140bdf297c9cdf73b1088fe68
tree991a27d038a10d81805f7f02e10f8c78d68579ddtree
parent1c2b7c593fa1c12575eb37e56a5c66a1a190ad81commit | diff
fixed a number of problems with mac os x builds.  build now works on mac os x if you disable the clock_gettime check in configure.ac (resolves bug #202), but the parser is broken (new bug #208)
Makefile.builds.in diff | blob | history
configure.ac diff | blob | history
src/util/Assert.cpp diff | blob | history
src/util/stats.h diff | blob | history
src/util/tls.h.in diff | blob | history
test/unit/context/cdlist_black.h diff | blob | history
test/unit/memory.h diff | blob | history