diff options
Diffstat (limited to 'astro')
-rw-r--r-- | astro/planets/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/astro/planets/Makefile b/astro/planets/Makefile index 7cdbdf70a531..cc3976c63644 100644 --- a/astro/planets/Makefile +++ b/astro/planets/Makefile @@ -15,6 +15,8 @@ LICENSE= GPLv2 USES= gmake tar:tgz USE_OCAML= yes +USE_OCAML_CAMLP4=yes +USE_OCAML_TK= yes USE_XORG= x11 ALL_TARGET= ${PORTNAME} |