Date: Sat, 12 Aug 2000 10:20:04 -0700 (PDT) From: Kim Scarborough <sluggo@unknown.nu> To: freebsd-ports@FreeBSD.org Subject: Re: ports/20558: update for port devel/camlp4 Message-ID: <200008121720.KAA80593@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/20558; it has been noted by GNATS.
From: Kim Scarborough <sluggo@unknown.nu>
To: freebsd-gnats-submit@FreeBSD.org
Cc:
Subject: Re: ports/20558: update for port devel/camlp4
Date: Sat, 12 Aug 2000 12:10:24 -0500 (CDT)
Damn word-wrapping editor... sorry about that. Here's how the patchfile should
*really* look:
diff -c -r camlp4.orig/Makefile camlp4/Makefile
*** camlp4.orig/Makefile Tue Aug 1 06:58:28 2000
--- camlp4/Makefile Sat Aug 12 11:09:51 2000
***************
*** 16,31 ****
MAINTAINER= user@unknown.nu
! BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml
HAS_CONFIGURE= yes
CONFIGURE_WRKSRC= ${WRKSRC}/config
CONFIGURE_SCRIPT= configure_batch
CONFIGURE_ENV= PREFIX=${PREFIX}
! ALL_TARGET= world
MAN1= camlp4.1
! MANLINKS= camlp4.1 camlp4o.1 camlp4r.1 mkcamlp4.1 ocpp.1
MANCOMPRESSED= no
.include <bsd.port.mk>
--- 16,31 ----
MAINTAINER= user@unknown.nu
! 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 bootstrap opt
MAN1= camlp4.1
! MLINKS= camlp4.1 camlp4o.1 camlp4.1 camlp4r.1 camlp4.1 mkcamlp4.1 camlp4.1 ocpp.1
MANCOMPRESSED= no
.include <bsd.port.mk>
diff -c -r camlp4.orig/pkg/PLIST camlp4/pkg/PLIST
*** camlp4.orig/pkg/PLIST Wed Jul 12 18:21:15 2000
--- camlp4/pkg/PLIST Sat Aug 12 11:06:06 2000
***************
*** 55,58 ****
--- 55,65 ----
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
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200008121720.KAA80593>