projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1832d76) | patch
Fix issues related to cxxtest in configure.ac (#2226)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 27 Jul 2018 20:22:49 +0000 (13:22 -0700)
committerGitHub <noreply@github.com>
Fri, 27 Jul 2018 20:22:49 +0000 (13:22 -0700)
commit3c8ede75a164a884c115a648ef15fa66823f339e
tree80f3cf8baa935a5b24c573c2f8481900d9b3ccb1tree
parent1832d76aaacd9b19e4b6bdb0549579a6eda5b1a4commit | diff
Fix issues related to cxxtest in configure.ac (#2226)

Fixes #2188. There were two issues related to cxxtest in configure.ac:

- `AC_PATH_PROGS` was used wrong (the third argument is a value to
  assign to the first argument and cannot be used for arbitrary
  commands)
- The `test` command always executes both sides of an "and" (`-a`), so
  `basename` was called without arguments when `CXXTESTGEN` was empty

This commit fixes both issues.
configure.ac diff | blob | history