aboutsummaryrefslogtreecommitdiff
path: root/math/Makefile
diff options
context:
space:
mode:
authorGabor Pali <pgj@FreeBSD.org>2010-01-04 03:26:20 +0000
committerGabor Pali <pgj@FreeBSD.org>2010-01-04 03:26:20 +0000
commit9ea2254ebc59d5da5f768ac6907b06120b54f9e9 (patch)
tree95911e6cc6fba9afe071e9f70c79b342ad1c590e /math/Makefile
parentbfe69bdfaa025bad89eecf570b96b3feca048810 (diff)
downloadports-9ea2254ebc59d5da5f768ac6907b06120b54f9e9.tar.gz
ports-9ea2254ebc59d5da5f768ac6907b06120b54f9e9.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 1a0496cdbae8..ee59fe84a31d 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -113,6 +113,7 @@
SUBDIR += guppi
SUBDIR += hexcalc
SUBDIR += hs-Agda
+ SUBDIR += hs-Agda-executable
SUBDIR += hs-category-extras
SUBDIR += igraph
SUBDIR += isabelle