projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b77e12) | patch
cmake: configure wrapper: Modify next steps message after configuration.
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 19 Sep 2018 23:36:22 +0000 (16:36 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commite3731aaf37d048194fea4b6255818a9f5d3a4ed2
tree6f5c2a807f21709431832b843717a6b95e25eaa1tree
parent1b77e124cc4d2a66b3be60529ed3714731b6f8a4commit | diff
cmake: configure wrapper: Modify next steps message after configuration.

Since configure.sh is only a wrapper for cmake it prints all the messages from
cmake. At the end we print the next steps after configuration. If configure.sh
is used we add the info to also change into the build directory before calling
make.
configure.sh diff | blob | history