projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6893a60) | patch
Changing CXXFLAGS for custom cln installation in configure.ac.
authorTim King <tim.king@imag.fr>
Thu, 12 Feb 2015 11:04:57 +0000 (12:04 +0100)
committerTim King <tim.king@imag.fr>
Thu, 12 Feb 2015 13:10:43 +0000 (14:10 +0100)
commit6ecdf49ae2a75c76fc8d37c7d396cc777b2e3adf
treeb80edc399c6619bd53aad3943b273eb77909cc51tree
parent6893a60697e86eebccda6cc8e2e92cea7ee654e3commit | diff
Changing CXXFLAGS for custom cln installation in configure.ac.

Making sure the CVC4 flags do not get overwritten after being set.
configure.ac diff | blob | history