diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/coq/Makefile | 2 | ||||
| -rw-r--r-- | math/slatec/Makefile | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 2beb5c8..cb37e34 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -28,7 +28,7 @@ CONFIGURE_ARGS= --prefix ${PREFIX} \ MAKE_ENV= COQINSTALLPREFIX=${DESTDIR} OPTIONS_DEFINE= DOCS IDE -OPTIONS_DEFAULT= DOCS IDE +OPTIONS_DEFAULT= IDE OPTIONS_SUB= yes IDE_DESC= Include desktop environment (coqide) IDE_BUILD_DEPENDS= lablgtk2:x11-toolkits/ocaml-lablgtk2 diff --git a/math/slatec/Makefile b/math/slatec/Makefile index 10afe9b..1d9f02f 100644 --- a/math/slatec/Makefile +++ b/math/slatec/Makefile @@ -31,7 +31,6 @@ MAKE_ENV+= LDADD="${LDADD}" SHLIB_MAJOR="${SHLIB_MAJOR}" \ SRCCONF="${SRCCONF}" OPTIONS_DEFINE= DOCS PROFILE -OPTIONS_DEFAULT=DOCS .include <bsd.port.options.mk> |
