aboutsummaryrefslogtreecommitdiff
path: root/math/Makefile
diff options
context:
space:
mode:
authorGabor Pali <pgj@FreeBSD.org>2013-03-29 22:43:58 +0000
committerGabor Pali <pgj@FreeBSD.org>2013-03-29 22:43:58 +0000
commitbd8d410bbe561cb06cef8e6439398148ea172996 (patch)
treebb6acd9e4d75e5dd918d3f6f723ca485c7f0dd6f /math/Makefile
parent18f2b16087e8ecd6790e8d551f1083d977da1d77 (diff)
Notes
Diffstat (limited to 'math/Makefile')
-rw-r--r--math/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/math/Makefile b/math/Makefile
index 7ad6fe32ac5c..c855f02a45cd 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -155,7 +155,6 @@
SUBDIR += grpn
SUBDIR += gsl
SUBDIR += hs-Agda
- SUBDIR += hs-Agda-executable
SUBDIR += hs-NumInstances
SUBDIR += hs-categories
SUBDIR += hs-comonad