diff options
| author | antoine <antoine@FreeBSD.org> | 2014-03-27 04:07:11 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-03-27 04:07:11 +0800 |
| commit | 9315ea98a2eaf3f8fec80c04dde2edf07cc1d2c5 (patch) | |
| tree | 0a98a3aba6b4e9ea80b4ad5eee48021882ede48f /Mk/bsd.port.mk | |
| parent | fb426b297c5377617f910e9edfea0b633e2d8fe0 (diff) | |
| download | freebsd-ports-gnome-9315ea98a2eaf3f8fec80c04dde2edf07cc1d2c5.tar.gz freebsd-ports-gnome-9315ea98a2eaf3f8fec80c04dde2edf07cc1d2c5.tar.zst freebsd-ports-gnome-9315ea98a2eaf3f8fec80c04dde2edf07cc1d2c5.zip | |
Make bsd.ocaml.mk more stage friendly
Reviewed by: bapt
With hat: portmgr
Diffstat (limited to 'Mk/bsd.port.mk')
| -rw-r--r-- | Mk/bsd.port.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Mk/bsd.port.mk b/Mk/bsd.port.mk index 4b125429bba5..711ea8bc0259 100644 --- a/Mk/bsd.port.mk +++ b/Mk/bsd.port.mk @@ -1845,6 +1845,10 @@ IGNORE= Do not define STAGEDIR in command line .include "${PORTSDIR}/Mk/bsd.java.mk" .endif +.if defined(USE_OCAML) +.include "${PORTSDIR}/Mk/bsd.ocaml.mk" +.endif + .if defined(USE_LINUX_RPM) .include "${PORTSDIR}/Mk/bsd.linux-rpm.mk" .endif |