aboutsummaryrefslogtreecommitdiff
path: root/math/Makefile
diff options
context:
space:
mode:
authorSimon Barner <barner@FreeBSD.org>2005-08-31 10:36:36 +0000
committerSimon Barner <barner@FreeBSD.org>2005-08-31 10:36:36 +0000
commitf6925bfda8fa5d2210b99b27e56627b190c0cca9 (patch)
treeca3da9d2b0641bd54a5bb5829c60a043ecb64387 /math/Makefile
parent67a6d6e2b98bd8a48f3ca7a8db183cac1e414aca (diff)
downloadports-f6925bfda8fa5d2210b99b27e56627b190c0cca9.tar.gz
ports-f6925bfda8fa5d2210b99b27e56627b190c0cca9.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 7894bc11aa0b..49c4ca7057a2 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -207,6 +207,7 @@
SUBDIR += ploticus-nox11
SUBDIR += plplot
SUBDIR += polymake
+ SUBDIR += proofgeneral
SUBDIR += pspp
SUBDIR += py-fpconst
SUBDIR += py-gato