projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dbc9516) | patch
Changes configure.ac so that the single recurisve invocation runs with a relative...
authorTim King <taking@google.com>
Fri, 23 Oct 2015 21:16:39 +0000 (14:16 -0700)
committerTim King <taking@google.com>
Sat, 24 Oct 2015 02:11:21 +0000 (19:11 -0700)
commitdd59444639796fb56b11d3852ca436fc049f39c7
tree9992c96a5b64dac0c79efb2890f20093e8a5ec48tree
parentdbc9516df982e255dfe48a98c95a6ab55326aba6commit | diff
Changes configure.ac so that the single recurisve invocation runs with a relative path. This lets the @srcdir@ variable in configuration be a relative path.
configure.ac diff | blob | history