aboutsummaryrefslogtreecommitdiff
path: root/math/Makefile
diff options
context:
space:
mode:
authorCheng-Lung Sung <clsung@FreeBSD.org>2007-03-25 04:04:30 +0000
committerCheng-Lung Sung <clsung@FreeBSD.org>2007-03-25 04:04:30 +0000
commit8fdb6ad4aabf8fbcf397640ad243a18645bdbe7d (patch)
treef7a85fdc470aa635a16f1f24e39d308875ffbe45 /math/Makefile
parent6801c3cafc8c4968ff96d0bd41ad2876ce7f34f8 (diff)
downloadports-8fdb6ad4aabf8fbcf397640ad243a18645bdbe7d.tar.gz
ports-8fdb6ad4aabf8fbcf397640ad243a18645bdbe7d.zip
Notes
Diffstat (limited to 'math/Makefile')
-rw-r--r--math/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile
index 8f434e38951e..6d5dbbe7fe8f 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -38,6 +38,7 @@
SUBDIR += concorde
SUBDIR += convertall
SUBDIR += coq
+ SUBDIR += cvc3
SUBDIR += cvcl
SUBDIR += cxsc
SUBDIR += dcdflib