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/coq | |
parent | Update to 6.2.23. Add TCL option. Cleanup. (diff) |
Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by default anyway and don't need to be listed
Approved by: portmgr blanket
Notes
Notes:
svn path=/head/; revision=415742
Diffstat (limited to 'math/coq')
-rw-r--r-- | math/coq/Makefile | 2 |
1 files changed, 1 insertions, 1 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 |