diff options
| author | Guido Falsi <madpilot@FreeBSD.org> | 2015-05-04 15:46:51 +0000 |
|---|---|---|
| committer | Guido Falsi <madpilot@FreeBSD.org> | 2015-05-04 15:46:51 +0000 |
| commit | 2c44e6acd06e2874b82746cb9dcdc785097b4203 (patch) | |
| tree | aa391452ea6a289ee70b33bcbec2503509a494d2 /astro | |
| parent | cb214a8a7bdc497f794275b729a70ec66437e2a7 (diff) | |
Notes
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} |