projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 479aebf) | patch
cmake: Added target check
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 12 Sep 2018 16:15:04 +0000 (09:15 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commit89042eec4f63f0aebd3e540dbca5e01714d152b4
tree748d4d337f265daa0e8110cd7032eb7618e00f9dtree
parent479aebfc657eb9bc90fad550f51ec3b3d2efec76commit | diff
cmake: Added target check

Targets 'check', 'units', 'systemtests' and 'regress' are now run in
parallel with the number of available cores by default. This can be
overriden by passing ARGS=-jN.
CMakeLists.txt diff | blob | history
test/CMakeLists.txt [new file with mode: 0644] blob
test/regress/CMakeLists.txt diff | blob | history
test/system/CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history