projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f2d818) | patch
Merges the cln-test branch into the main branch.
authorTim King <taking@cs.nyu.edu>
Fri, 2 Jul 2010 18:49:47 +0000 (18:49 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 2 Jul 2010 18:49:47 +0000 (18:49 +0000)
commitfdf952bba734d63fe52b18bba1ef7a8f9c935455
tree5f8eea581731091bb61fb150d28a394b0df2bda2tree
parent5f2d818b1a2801f647fe1f3ce2a61d7d4806e251commit | diff
Merges the cln-test branch into the main branch.

The current commit allows for switching in between GMP and CLN by changing a flag manually in configure.ac.  A configure time flag has not yet been added for deciding between the two.

To get this to work you will need to install cln in some form (for Ubuntu users the packages are libcln6(lucid)/libcln5 on karmic and libcln-dev).  You will also need to install pkg-config. You will need to rerun ./autogen.sh, and reconfigure.
15 files changed:
configure.ac diff | blob | history
src/util/Makefile.am diff | blob | history
src/util/integer.cpp [deleted file] blob | history
src/util/integer.h diff | blob | history
src/util/integer_cln_imp.cpp [new file with mode: 0644] blob
src/util/integer_cln_imp.h [new file with mode: 0644] blob
src/util/integer_gmp_imp.cpp [new file with mode: 0644] blob
src/util/integer_gmp_imp.h [new file with mode: 0644] blob
src/util/rational.cpp [deleted file] blob | history
src/util/rational.h diff | blob | history
src/util/rational_cln_imp.cpp [new file with mode: 0644] blob
src/util/rational_cln_imp.h [new file with mode: 0644] blob
src/util/rational_gmp_imp.cpp [new file with mode: 0644] blob
src/util/rational_gmp_imp.h [new file with mode: 0644] blob
test/unit/util/rational_white.h diff | blob | history