diff options
| author | cy <cy@FreeBSD.org> | 2016-11-25 00:01:51 +0800 |
|---|---|---|
| committer | cy <cy@FreeBSD.org> | 2016-11-25 00:01:51 +0800 |
| commit | 4554e9e2faf75a83fde6d83e715726822d3f7bf3 (patch) | |
| tree | e2b61e6cfa4db80b4afcefeba2000907d1b10e51 /math/cvc3 | |
| parent | 4f244acbeff537f40f8d1512dfb469727eb870d4 (diff) | |
| download | freebsd-ports-gnome-4554e9e2faf75a83fde6d83e715726822d3f7bf3.tar.gz freebsd-ports-gnome-4554e9e2faf75a83fde6d83e715726822d3f7bf3.tar.zst freebsd-ports-gnome-4554e9e2faf75a83fde6d83e715726822d3f7bf3.zip | |
Unbreak Makefile, set up appropriate support for BROKEN.
As suggested by koobs, describe error in BROKEN=.
Diffstat (limited to 'math/cvc3')
0 files changed, 0 insertions, 0 deletions