aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lang/caml-light/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/lang/caml-light/Makefile b/lang/caml-light/Makefile
index fbf4fe3baaec..94d58abc12cc 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.1.1.1 1998/07/28 06:25:41 jkoshy Exp $
+# $Id: Makefile,v 1.2 1998/09/07 02:50:09 jkoshy Exp $
#
DISTNAME= cl74unix
@@ -17,6 +17,8 @@ MASTER_SITES= ftp://ftp.inria.fr/lang/caml-light/ \
MAINTAINER= jkoshy@freebsd.org
+BROKEN_ELF= cp: bignum/libbignum.a: No such file or directory
+
WRKSRC= ${WRKDIR}/cl74
ALL_TARGET= configure world bootstrap
MAN1= camlc.1 camllex.1 camllibr.1 camllight.1 camlmktop.1 camlrun.1 camlyacc.1 mletags.1 camllorder.1 camlsearch.1