kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/ocaml-zarith/Makefile

42 lines
856 B
Makefile
Raw Normal View History

Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
# Created by: John Marino <marino@FreeBSD.org>
# $FreeBSD$
PORTNAME= zarith
- Update to version 1.4.1 - Employ USES+=localbase:ldflags - Remove excessive whitespace
2017-04-28 17:47:17 +02:00
PORTVERSION= 1.4.1
Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
CATEGORIES= math
- Update to version 1.4.1 - Employ USES+=localbase:ldflags - Remove excessive whitespace
2017-04-28 17:47:17 +02:00
MASTER_SITES= http://forge.ocamlcore.org/frs/download.php/1574/
Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
PKGNAMEPREFIX= ocaml-
Release some of my ports back to the heap
2016-09-15 03:29:41 +02:00
MAINTAINER= ports@FreeBSD.org
Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
COMMENT= OCaml arithmetic library for arbitrary precision integers
- Fix license - Add LICENSE_FILE - Fix build on arm
2016-10-16 11:03:43 +02:00
LICENSE= LGPL20
LICENSE_FILE= ${WRKSRC}/LICENSE
Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p. With hat: portmgr Sponsored by: Absolight
2016-04-01 16:16:16 +02:00
LIB_DEPENDS= libgmp.so:math/gmp
Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
- Update to version 1.4.1 - Employ USES+=localbase:ldflags - Remove excessive whitespace
2017-04-28 17:47:17 +02:00
USES= gmake localbase:ldflags perl5 shebangfix tar:tgz
USE_PERL5= build
USE_OCAML= yes
Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
USE_OCAML_FINDLIB= yes
OCAMLFIND_LDCONF= /dev/null
- Update to version 1.4.1 - Employ USES+=localbase:ldflags - Remove excessive whitespace
2017-04-28 17:47:17 +02:00
HAS_CONFIGURE= yes
ALL_TARGET= all
SHEBANG_FILES= z_pp.pl
CONFIGURE_ENV= DESTDIR=${STAGEDIR}
Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
MAKE_JOBS_UNSAFE= yes
math/ocaml-zarith: set BROKEN_armv6
2015-10-11 23:33:55 +02:00
Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
PORTDOCS= html
DOCSDIR= ${OCAML_DOCSDIR}/${PORTNAME}
OPTIONS_DEFINE= DOCS
- Switch to options helpers - While here, add some NO_ARCHes and couple missing PORT_OPTIONS=DOCS Approved by: portmgr blanket
2015-08-28 15:39:56 +02:00
DOCS_ALL_TARGET=doc
Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
- Switch to options helpers - While here, add some NO_ARCHes and couple missing PORT_OPTIONS=DOCS Approved by: portmgr blanket
2015-08-28 15:39:56 +02:00
post-install-DOCS-on:
- Fix license - Add LICENSE_FILE - Fix build on arm
2016-10-16 11:03:43 +02:00
@${MKDIR} ${STAGEDIR}${DOCSDIR}
Add new Ocaml port: math/ocaml-zarith 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
2014-06-02 23:28:39 +02:00
${MV} ${WRKSRC}/html ${STAGEDIR}${DOCSDIR}
.include <bsd.port.mk>
Reference in a new issue Copy permalink