projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3530069) | patch
Remove linking against gmp and cln in tests and parser (#6376)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 19 Apr 2021 09:30:04 +0000 (11:30 +0200)
committerGitHub <noreply@github.com>
Mon, 19 Apr 2021 09:30:04 +0000 (09:30 +0000)
commita06ec9eb224c437523f3bff0ac6f6437d924f36a
tree8701141bddf60efe6305f1d1f02fd42ffaeec2d6tree
parent353006984c0c7bbd1bd419c04e4bb873c7eee52acommit | diff
Remove linking against gmp and cln in tests and parser (#6376)

Finally, we no longer need to link against GMP and CLN for the parser and the tests.
To actually achieve this, this PR also removes some dead code and unused includes from some parser files.
src/parser/CMakeLists.txt diff | blob | history
src/parser/antlr_input.h diff | blob | history
src/parser/cvc/Cvc.g diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/smt2/smt2.h diff | blob | history
src/parser/tptp/Tptp.g diff | blob | history
test/api/CMakeLists.txt diff | blob | history