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

author	Morgan Deters <mdeters@gmail.com>
	Tue, 1 Nov 2011 17:08:55 +0000 (17:08 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Tue, 1 Nov 2011 17:08:55 +0000 (17:08 +0000)
commit	7b568f370f6ec4105414b562ee2a6fcb3d7048f2
tree	6b2c6ab7e4a426847ce332fc2e522c3c287fb60d	tree
parent	cbd5934ffce739fcc5ade1f8fdefcd0a04e0d9ef	commit \| diff

Improvements to header installation on user machines. Internally, we can
still write, for example:

#include "expr/node.h"

but public CVC4 headers, upon installation to /usr/include/cvc4 (or wherever),
have such #includes rewritten automatically to:

#include <cvc4/expr/node.h>

22 files changed:

contrib/cut-release		diff \| blob \| history
src/Makefile.am		diff \| blob \| history
src/bindings/compat/c/c_interface.cpp		diff \| blob \| history
src/bindings/compat/c/c_interface.h		diff \| blob \| history
src/bindings/compat/java/include/cvc3/JniUtils.h		diff \| blob \| history
src/expr/node_builder.h		diff \| blob \| history
src/main/interactive_shell.cpp		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/main/util.cpp		diff \| blob \| history
src/parser/antlr_input.cpp		diff \| blob \| history
src/parser/antlr_input.h		diff \| blob \| history
src/parser/antlr_input_imports.cpp		diff \| blob \| history
src/parser/bounded_token_factory.cpp		diff \| blob \| history
src/parser/input.cpp		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser_builder.cpp		diff \| blob \| history
src/parser/smt/smt_input.cpp		diff \| blob \| history
src/parser/smt2/smt2_input.cpp		diff \| blob \| history
src/proof/cnf_proof.cpp		diff \| blob \| history
src/theory/arrays/array_info.cpp		diff \| blob \| history
src/theory/arrays/theory_arrays.h		diff \| blob \| history
src/theory/bv/equality_engine.cpp		diff \| blob \| history

RSS Atom