projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a0d2b0) | patch
Add check for C++ exceptions to config script
authorAndres Notzli <andres.noetzli@gmail.com>
Wed, 19 Apr 2017 15:46:59 +0000 (08:46 -0700)
committerAndres Notzli <andres.noetzli@gmail.com>
Fri, 21 Apr 2017 08:24:09 +0000 (01:24 -0700)
commit2a26e0be7238cb055f0e121df050ea1e342a2fa2
tree5e563fc869b178f5189950af57e468267a4d008dtree
parent8a0d2b0577e174d2078026129dd01ea46f7f984acommit | diff
Add check for C++ exceptions to config script

Bug 687 was caused by the configuration not properly supporting C++
exceptions. To avoid such an incidence in the future, this commit adds a
simple check to `configure.ac` (when not cross compiling).
configure.ac diff | blob | history