diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-21 16:27:26 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | b2a89b4488d6665ba23c7cb3108ad4cb8c35f4dc (patch) | |
| tree | 82b356597e1ac7626aacd1a0596cbd9b6882976c /proofs | |
| parent | 3b433d829ccfc0d91cb98f368a8896f5ccad1671 (diff) | |
cmake: Build fully static binaries with option --static.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions