diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-23 20:35:01 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-23 20:35:01 +0000 |
| commit | c86e9d97241f251304781abec881b7b5a934f12a (patch) | |
| tree | 6a64949cd1d37fc2302e761cd239d30738f2b760 /math | |
| parent | 1b68d5eb0ccf36adc2ddc3545e89811c794dec49 (diff) | |
| download | ports-c86e9d97241f251304781abec881b7b5a934f12a.tar.gz ports-c86e9d97241f251304781abec881b7b5a934f12a.zip | |
Notes
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 2beb5c86fad9..cb37e341508d 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 10afe9b06045..1d9f02f44b9e 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> |