diff options
author | Chris D. Faulhaber <jedgar@FreeBSD.org> | 2000-09-16 13:03:23 +0000 |
---|---|---|
committer | Chris D. Faulhaber <jedgar@FreeBSD.org> | 2000-09-16 13:03:23 +0000 |
commit | 51419bca06cf8f5deddc9b4ffc3c8bd93a500aaa (patch) | |
tree | 62733b525c126418ec801f10df6ffed3617f7e6d /devel/camlp4 | |
parent | 659797c3cac9aa542fc257de5733bf53710b67bc (diff) | |
download | ports-51419bca06cf8f5deddc9b4ffc3c8bd93a500aaa.tar.gz ports-51419bca06cf8f5deddc9b4ffc3c8bd93a500aaa.zip |
Notes
Diffstat (limited to 'devel/camlp4')
-rw-r--r-- | devel/camlp4/Makefile | 7 | ||||
-rw-r--r-- | devel/camlp4/pkg-plist | 7 |
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 |