projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7de0540) | patch
Remove autotools build system. (#2639)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 19 Oct 2018 21:45:42 +0000 (14:45 -0700)
committerGitHub <noreply@github.com>
Fri, 19 Oct 2018 21:45:42 +0000 (14:45 -0700)
commitce8c429281fd1f7e4ac4d2b7133152c1d370df0c
tree407400e728621cc9a5262e7112a93bd6acd0835atree
parent7de0540252b62080ee9f98617f5718cb1ae08579commit | diff
Remove autotools build system. (#2639)
121 files changed:
.gitignore diff | blob | history
.travis.yml diff | blob | history
CMakeLists.txt diff | blob | history
Makefile [deleted file] blob | history
Makefile.am [deleted file] blob | history
Makefile.builds.in [deleted file] blob | history
Makefile.subdir [deleted file] blob | history
autogen.sh [deleted file] blob | history
config/.gitignore [deleted file] blob | history
config/abc.m4 [deleted file] blob | history
config/antlr.m4 [deleted file] blob | history
config/ax_cxx_compile_stdcxx.m4 [deleted file] blob | history
config/ax_cxx_compile_stdcxx_11.m4 [deleted file] blob | history
config/ax_prog_doxygen.m4 [deleted file] blob | history
config/bindings.m4 [deleted file] blob | history
config/boost.m4 [deleted file] blob | history
config/build-type [deleted file] blob | history
config/cadical.m4 [deleted file] blob | history
config/cryptominisat.m4 [deleted file] blob | history
config/cvc4.m4 [deleted file] blob | history
config/doxygen.am [deleted file] blob | history
config/doxygen.cfg [deleted file] blob | history
config/gcc_version.m4 [deleted file] blob | history
config/glpk.m4 [deleted file] blob | history
config/lfsc.m4 [deleted file] blob | history
config/mkbuilddir [deleted file] blob | history
config/pkg.m4 [deleted file] blob | history
config/readline.m4 [deleted file] blob | history
config/symfpu.m4 [deleted file] blob | history
configure.ac [deleted file] blob | history
contrib/Makefile.am [deleted file] blob | history
contrib/addsourcedir [deleted file] blob | history
contrib/code-checker [deleted file] blob | history
contrib/configure-in-place [deleted file] blob | history
contrib/editing-with-emacs [deleted file] blob | history
contrib/extract-strings-and-comments [deleted file] blob | history
contrib/get-abc diff | blob | history
contrib/get-antlr-3.4 diff | blob | history
contrib/get-cadical diff | blob | history
contrib/get-cryptominisat diff | blob | history
contrib/get-glpk-cut-log diff | blob | history
contrib/get-lfsc-checker diff | blob | history
contrib/get-symfpu diff | blob | history
contrib/indent-settings [deleted file] blob | history
contrib/mac-build [deleted file] blob | history
contrib/make_devel_video.sh [deleted file] blob | history
contrib/my-configure [deleted file] blob | history
contrib/switch-config [deleted file] blob | history
cvc4autoconfig.h.in [new file with mode: 0644] blob
cvc4autoconfig.new.h.in [deleted file] blob | history
examples/Makefile [deleted file] blob | history
examples/Makefile.am [deleted file] blob | history
examples/api/Makefile [deleted file] blob | history
examples/api/Makefile.am [deleted file] blob | history
examples/api/java/Makefile [deleted file] blob | history
examples/api/java/Makefile.am [deleted file] blob | history
examples/hashsmt/Makefile [deleted file] blob | history
examples/hashsmt/Makefile.am [deleted file] blob | history
examples/nra-translate/Makefile [deleted file] blob | history
examples/nra-translate/Makefile.am [deleted file] blob | history
examples/sets-translate/Makefile [deleted file] blob | history
examples/sets-translate/Makefile.am [deleted file] blob | history
library_versions [deleted file] blob | history
proofs/signatures/Makefile.am [deleted file] blob | history
src/Makefile [deleted file] blob | history
src/Makefile.am [deleted file] blob | history
src/Makefile.theories [deleted file] blob | history
src/base/Makefile.am [deleted file] blob | history
src/bindings/Makefile [deleted file] blob | history
src/bindings/Makefile.am [deleted file] blob | history
src/expr/.gitignore [deleted file] blob | history
src/expr/Makefile [deleted file] blob | history
src/expr/Makefile.am [deleted file] blob | history
src/include/.gitignore [deleted file] blob | history
src/lib/Makefile [deleted file] blob | history
src/lib/Makefile.am [deleted file] blob | history
src/main/Makefile [deleted file] blob | history
src/main/Makefile.am [deleted file] blob | history
src/mksubdirs [deleted file] blob | history
src/options/Makefile [deleted file] blob | history
src/options/Makefile.am [deleted file] blob | history
src/parser/Makefile [deleted file] blob | history
src/parser/Makefile.am [deleted file] blob | history
src/parser/Makefile.antlr_tracing [deleted file] blob | history
src/parser/cvc/Makefile [deleted file] blob | history
src/parser/cvc/Makefile.am [deleted file] blob | history
src/parser/smt1/Makefile [deleted file] blob | history
src/parser/smt1/Makefile.am [deleted file] blob | history
src/parser/smt2/Makefile [deleted file] blob | history
src/parser/smt2/Makefile.am [deleted file] blob | history
src/parser/tptp/Makefile [deleted file] blob | history
src/parser/tptp/Makefile.am [deleted file] blob | history
src/prop/bvminisat/Makefile.am [deleted file] blob | history
src/prop/bvminisat/core/Makefile [deleted file] blob | history
src/prop/bvminisat/simp/Makefile [deleted file] blob | history
src/prop/bvminisat/utils/Makefile [deleted file] blob | history
src/prop/minisat/Makefile.am [deleted file] blob | history
src/prop/minisat/core/Makefile [deleted file] blob | history
src/prop/minisat/simp/Makefile [deleted file] blob | history
src/prop/minisat/utils/Makefile [deleted file] blob | history
src/smt_util/Makefile.am [deleted file] blob | history
src/theory/.gitignore [deleted file] blob | history
src/theory/sets/.gitignore [deleted file] blob | history
src/util/Makefile [deleted file] blob | history
src/util/Makefile.am [deleted file] blob | history
test/.gitignore [deleted file] blob | history
test/Makefile [deleted file] blob | history
test/Makefile.am [deleted file] blob | history
test/java/build.xml [deleted file] blob | history
test/regress/Makefile [deleted file] blob | history
test/regress/Makefile.am [deleted file] blob | history
test/regress/Makefile.levels [deleted file] blob | history
test/regress/Makefile.tests [deleted file] blob | history
test/system/Makefile [deleted file] blob | history
test/system/Makefile.am [deleted file] blob | history
test/system/run_java_test [deleted file] blob | history
test/unit/.gitignore [deleted file] blob | history
test/unit/Makefile [deleted file] blob | history
test/unit/Makefile.am [deleted file] blob | history
test/unit/Makefile.tests [deleted file] blob | history
test/unit/no_cxxtest [deleted file] blob | history