diff options
Diffstat (limited to 'lang/caml-light')
| -rw-r--r-- | lang/caml-light/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/lang/caml-light/Makefile b/lang/caml-light/Makefile index 525bcbf56ec9..1dbf284ea228 100644 --- a/lang/caml-light/Makefile +++ b/lang/caml-light/Makefile @@ -3,7 +3,7 @@ # Date created: 21 July 1998 # Whom: jkoshy # -# $Id: Makefile,v 1.4 1998/11/20 15:26:10 kuriyama Exp $ +# $Id: Makefile,v 1.5 1998/12/22 07:45:39 asami Exp $ # DISTNAME= cl74unix @@ -17,8 +17,6 @@ MASTER_SITES= ftp://ftp.inria.fr/lang/caml-light/ \ MAINTAINER= jkoshy@freebsd.org -BROKEN_ELF= cp: bignum/libbignum.a: No such file or directory - USE_XLIB= yes WRKSRC= ${WRKDIR}/cl74 ALL_TARGET= configure world bootstrap @@ -28,12 +26,10 @@ do-build: cd ${WRKSRC}/src; ${MAKE} ${ALL_TARGET} PREFIX=${PREFIX} \ X11BASE=${X11BASE} +# build some contrib stuff too do-install: cd ${WRKSRC}/src; ${MAKE} ${INSTALL_TARGET} PREFIX=${PREFIX} \ X11BASE=${X11BASE} - -# build some contrib stuff too -post-install: cd ${WRKSRC}/contrib; ${MAKE} all ${INSTALL_TARGET} PREFIX=${PREFIX} \ X11BASE=${X11BASE} |