git.libre-soc.org Git - cvc5.git/commit

author	Morgan Deters <mdeters@gmail.com>
	Wed, 16 Dec 2009 04:25:45 +0000 (04:25 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Wed, 16 Dec 2009 04:25:45 +0000 (04:25 +0000)
commit	79df573326e6911d3a97fcc2528105acd1c2c525
tree	70930bcdb620cdf8ff9e3e9c495f67ed8317aa2e	tree
parent	8cb3a7b556e8b4b85745bffbd1f0246e6af29588	commit \| diff

Fixes to the build system:

Makefile.am files - remove obsolete INCLUDES, incorporate into AM_CPPFLAGS
Makefile files in src/ - support "make" under src/ (current build profile)
configure.ac - updates to fix warnings
config/antlr.m4 - updates to fix warnings
autogen.sh - updates to generate warnings from autotools; also support Macs
src/include/cvc4_config.h - guard with #ifdef
total reimplementation of NodeBuilder
ExprValue => NodeValue
context_mm.{h,cpp} - fixed numerous compile errors

76 files changed:

Makefile		diff \| blob \| history
Makefile.in		diff \| blob \| history
Makefile.subdir	[new file with mode: 0644]	blob
autogen.sh		diff \| blob \| history
config/antlr.m4		diff \| blob \| history
configure		diff \| blob \| history
configure.ac		diff \| blob \| history
contrib/Makefile.in		diff \| blob \| history
doc/Makefile.in		diff \| blob \| history
src/Makefile	[new file with mode: 0644]	blob
src/Makefile.am		diff \| blob \| history
src/Makefile.in		diff \| blob \| history
src/context/Makefile	[new file with mode: 0644]	blob
src/context/Makefile.am		diff \| blob \| history
src/context/Makefile.in		diff \| blob \| history
src/context/context_mm.cpp		diff \| blob \| history
src/context/context_mm.h		diff \| blob \| history
src/expr/Makefile	[new file with mode: 0644]	blob
src/expr/Makefile.am		diff \| blob \| history
src/expr/Makefile.in		diff \| blob \| history
src/expr/expr_value.cpp	[deleted file]	blob \| history
src/expr/expr_value.h	[deleted file]	blob \| history
src/expr/kind.h		diff \| blob \| history
src/expr/node.cpp		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/node_builder.cpp		diff \| blob \| history
src/expr/node_builder.h		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/expr/node_value.cpp	[new file with mode: 0644]	blob
src/expr/node_value.h	[new file with mode: 0644]	blob
src/include/cvc4_config.h		diff \| blob \| history
src/main/Makefile	[new file with mode: 0644]	blob
src/main/Makefile.am		diff \| blob \| history
src/main/Makefile.in		diff \| blob \| history
src/parser/Makefile	[new file with mode: 0644]	blob
src/parser/Makefile.am		diff \| blob \| history
src/parser/Makefile.in		diff \| blob \| history
src/parser/antlr_parser.cpp		diff \| blob \| history
src/parser/cvc/Makefile	[new file with mode: 0644]	blob
src/parser/cvc/Makefile.am		diff \| blob \| history
src/parser/cvc/Makefile.in		diff \| blob \| history
src/parser/smt/Makefile	[new file with mode: 0644]	blob
src/parser/smt/Makefile.am		diff \| blob \| history
src/parser/smt/Makefile.in		diff \| blob \| history
src/prop/Makefile	[new file with mode: 0644]	blob
src/prop/Makefile.am		diff \| blob \| history
src/prop/Makefile.in		diff \| blob \| history
src/prop/minisat/Makefile	[new file with mode: 0644]	blob
src/prop/minisat/Makefile.am		diff \| blob \| history
src/prop/minisat/Makefile.in		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/smt/Makefile	[new file with mode: 0644]	blob
src/smt/Makefile.am		diff \| blob \| history
src/smt/Makefile.in		diff \| blob \| history
src/theory/Makefile	[new file with mode: 0644]	blob
src/theory/Makefile.am		diff \| blob \| history
src/theory/Makefile.in		diff \| blob \| history
src/theory/uf/Makefile	[new file with mode: 0644]	blob
src/theory/uf/Makefile.am		diff \| blob \| history
src/theory/uf/Makefile.in		diff \| blob \| history
src/util/Makefile	[new file with mode: 0644]	blob
src/util/Makefile.am		diff \| blob \| history
src/util/Makefile.in		diff \| blob \| history
test/Makefile	[new file with mode: 0644]	blob
test/Makefile.in		diff \| blob \| history
test/regress/Makefile	[new file with mode: 0644]	blob
test/regress/Makefile.am		diff \| blob \| history
test/regress/Makefile.in		diff \| blob \| history
test/unit/Makefile	[new file with mode: 0644]	blob
test/unit/Makefile.am		diff \| blob \| history
test/unit/Makefile.in		diff \| blob \| history
test/unit/expr/expr_black.h	[deleted file]	blob \| history
test/unit/expr/expr_white.h	[deleted file]	blob \| history
test/unit/expr/node_black.h	[new file with mode: 0644]	blob
test/unit/expr/node_white.h	[new file with mode: 0644]	blob

RSS Atom