projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0555d96) | patch
Some fixes inspired by Fedora 15:
authorMorgan Deters <mdeters@gmail.com>
Sat, 18 Jun 2011 02:44:41 +0000 (02:44 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 18 Jun 2011 02:44:41 +0000 (02:44 +0000)
commitd5d73d514946ea4a7f5691f46c4d6b9c2776f59d
tree68654da6eedf2c05681a5f8df1553fd88d179271tree
parent0555d96193b6d9c39c26a04941c6087e4465adf0commit | diff
Some fixes inspired by Fedora 15:
* compilation fixes for GCC 4.6.x
  + ptrdiff_t is now in std::
* fix some make rules that are ok in Make 3.81 but broke in Make 3.82
* look for cxxtestgen.py as well as cxxtestgen.pl, and look for cxxtest headers in /usr/include
Makefile diff | blob | history
Makefile.subdir diff | blob | history
configure.ac diff | blob | history
src/context/cdlist.h diff | blob | history
src/context/cdlist_context_memory.h diff | blob | history
src/context/context_mm.h diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_value.h diff | blob | history