aboutsummaryrefslogtreecommitdiff
path: root/devel/camlp4
diff options
context:
space:
mode:
authorChris D. Faulhaber <jedgar@FreeBSD.org>2000-09-16 13:03:23 +0000
committerChris D. Faulhaber <jedgar@FreeBSD.org>2000-09-16 13:03:23 +0000
commit51419bca06cf8f5deddc9b4ffc3c8bd93a500aaa (patch)
tree62733b525c126418ec801f10df6ffed3617f7e6d /devel/camlp4
parent659797c3cac9aa542fc257de5733bf53710b67bc (diff)
downloadports-51419bca06cf8f5deddc9b4ffc3c8bd93a500aaa.tar.gz
ports-51419bca06cf8f5deddc9b4ffc3c8bd93a500aaa.zip
Notes
Diffstat (limited to 'devel/camlp4')
-rw-r--r--devel/camlp4/Makefile7
-rw-r--r--devel/camlp4/pkg-plist7
2 files changed, 11 insertions, 3 deletions
diff --git a/devel/camlp4/Makefile b/devel/camlp4/Makefile
index 040652143de3..e15c831d7fb8 100644
--- a/devel/camlp4/Makefile
+++ b/devel/camlp4/Makefile
@@ -16,16 +16,17 @@ MASTER_SITES= ftp://ftp.inria.fr/INRIA/Projects/cristal/camlp4/OLD/2.04/ \
MAINTAINER= user@unknown.nu
-BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml
+BUILD_DEPENDS= ocamlc.opt:${PORTSDIR}/lang/ocaml
HAS_CONFIGURE= yes
CONFIGURE_WRKSRC= ${WRKSRC}/config
CONFIGURE_SCRIPT= configure_batch
CONFIGURE_ENV= PREFIX=${PREFIX}
-ALL_TARGET= world
+ALL_TARGET= world bootstrap opt
MAN1= camlp4.1
-MANLINKS= camlp4.1 camlp4o.1 camlp4r.1 mkcamlp4.1 ocpp.1
+MANLINKS= camlp4.1 camlp4o.1 camlp4.1 camlp4r.1 camlp4.1 mkcamlp4.1 \
+ camlp4.1 ocpp.1
MANCOMPRESSED= no
.include <bsd.port.mk>
diff --git a/devel/camlp4/pkg-plist b/devel/camlp4/pkg-plist
index 4226d3dfa77a..fb8d453e0eeb 100644
--- a/devel/camlp4/pkg-plist
+++ b/devel/camlp4/pkg-plist
@@ -55,4 +55,11 @@ lib/camlp4/stdpp.cmi
lib/camlp4/plexer.cmi
lib/camlp4/grammar.cmi
lib/camlp4/gramext.cmi
+lib/camlp4/gramext.cmx
+lib/camlp4/gramlib.a
+lib/camlp4/gramlib.cmxa
+lib/camlp4/grammar.cmx
+lib/camlp4/plexer.cmx
+lib/camlp4/stdpp.cmx
+lib/camlp4/token.cmx
@dirrm lib/camlp4