9024af45d6
This is a new requirement for the latest veersion of alt-ergo.
================================================================
The Zarith library implements arithmetic and logical operations over
arbitrary precision numbers. It uses GMP to efficiently implement
arithmetic over large numbers. Small integers are represented as Caml
unboxed integers for speed and space economy.
WWW: http://forge.ocamlcore.org/projects/zarith
45 lines
943 B
Makefile
45 lines
943 B
Makefile
# Created by: John Marino <marino@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= zarith
|
|
PORTVERSION= 1.2.1
|
|
CATEGORIES= math
|
|
MASTER_SITES= http://forge.ocamlcore.org/frs/download.php/1199/
|
|
PKGNAMEPREFIX= ocaml-
|
|
|
|
MAINTAINER= marino@FreeBSD.org
|
|
COMMENT= OCaml arithmetic library for arbitrary precision integers
|
|
|
|
LICENSE= GPLv2
|
|
|
|
LIB_DEPENDS= libgmp.so:${PORTSDIR}/math/gmp
|
|
|
|
USES= gmake perl5 shebangfix tar:tgz
|
|
USE_PERL5= build
|
|
USE_OCAML= yes
|
|
USE_OCAML_FINDLIB= yes
|
|
OCAMLFIND_LDCONF= /dev/null
|
|
HAS_CONFIGURE= yes
|
|
ALL_TARGET= all
|
|
SHEBANG_FILES= z_pp.pl
|
|
CONFIGURE_ENV+= DESTDIR=${STAGEDIR}
|
|
CPPFLAGS+= -I${LOCALBASE}/include
|
|
LDFLAGS+= -L${LOCALBASE}/lib
|
|
|
|
MAKE_JOBS_UNSAFE= yes
|
|
PORTDOCS= html
|
|
DOCSDIR= ${OCAML_DOCSDIR}/${PORTNAME}
|
|
|
|
OPTIONS_DEFINE= DOCS
|
|
|
|
.include <bsd.port.options.mk>
|
|
|
|
.if ${PORT_OPTIONS:MDOCS}
|
|
ALL_TARGET+= doc
|
|
|
|
post-install:
|
|
${MKDIR} ${STAGEDIR}${DOCSDIR}
|
|
${MV} ${WRKSRC}/html ${STAGEDIR}${DOCSDIR}
|
|
.endif
|
|
|
|
.include <bsd.port.mk>
|