diff options
Diffstat (limited to 'math/coq/Makefile')
-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 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 |