projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3731aa) | patch
cmake: configure.sh wrapper: Use explicit build directory structure.
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 20 Sep 2018 19:30:30 +0000 (12:30 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commitfe83ed76f721b7bc631f75440375fce8dc35da50
tree30a0c5d7532fa652bc24e1335d32b5502b6232bftree
parente3731aaf37d048194fea4b6255818a9f5d3a4ed2commit | diff
cmake: configure.sh wrapper: Use explicit build directory structure.

We don't create build directories for every build type (and
configuration) anymore. The default build directory is now 'build'
(created where you call the wrapper script from). Option --name allows
to configure an individual name (and path) for the build directory.
configure.sh diff | blob | history