projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f311f5) | patch
cmake: Add support for building static binaries/libraries.
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 29 Aug 2018 17:26:10 +0000 (10:26 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commit6d1ee1f6b26c77d77510e39c09c063537810f457
tree901534ff5ea05ed6a340d1976c0ae9f90fd35e5ctree
parent8f311f52037a9fb6a82d062342fec4b5396173c6commit | diff
cmake: Add support for building static binaries/libraries.
CMakeLists.txt diff | blob | history