diff options
| author | Alexey Dokuchaev <danfe@FreeBSD.org> | 2017-04-28 15:47:17 +0000 |
|---|---|---|
| committer | Alexey Dokuchaev <danfe@FreeBSD.org> | 2017-04-28 15:47:17 +0000 |
| commit | fa7673c6ceb3baca20bd47d93d549248a7538e52 (patch) | |
| tree | 921d33f2a9e00b534f60f7619e9adb4b3656da10 /math | |
| parent | 30e8219ac3076037ed3f73f1362717cf7c523ce2 (diff) | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/ocaml-zarith/Makefile | 20 | ||||
| -rw-r--r-- | math/ocaml-zarith/distinfo | 5 |
2 files changed, 12 insertions, 13 deletions
diff --git a/math/ocaml-zarith/Makefile b/math/ocaml-zarith/Makefile index bb9bc52dc219..e663d53a7075 100644 --- a/math/ocaml-zarith/Makefile +++ b/math/ocaml-zarith/Makefile @@ -2,9 +2,9 @@ # $FreeBSD$ PORTNAME= zarith -PORTVERSION= 1.2.1 +PORTVERSION= 1.4.1 CATEGORIES= math -MASTER_SITES= http://forge.ocamlcore.org/frs/download.php/1199/ +MASTER_SITES= http://forge.ocamlcore.org/frs/download.php/1574/ PKGNAMEPREFIX= ocaml- MAINTAINER= ports@FreeBSD.org @@ -15,17 +15,15 @@ LICENSE_FILE= ${WRKSRC}/LICENSE LIB_DEPENDS= libgmp.so:math/gmp -USES= gmake perl5 shebangfix tar:tgz -USE_PERL5= build -USE_OCAML= yes +USES= gmake localbase:ldflags 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 +HAS_CONFIGURE= yes +ALL_TARGET= all +SHEBANG_FILES= z_pp.pl +CONFIGURE_ENV= DESTDIR=${STAGEDIR} MAKE_JOBS_UNSAFE= yes diff --git a/math/ocaml-zarith/distinfo b/math/ocaml-zarith/distinfo index 7acbd776f151..dabb05e4146f 100644 --- a/math/ocaml-zarith/distinfo +++ b/math/ocaml-zarith/distinfo @@ -1,2 +1,3 @@ -SHA256 (zarith-1.2.1.tgz) = 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144 -SIZE (zarith-1.2.1.tgz) = 68654 +TIMESTAMP = 1493371663 +SHA256 (zarith-1.4.1.tgz) = 23b6c140aad25385bb0b862b9b9fe8a5c6e6f608d0fac7a688aaede5ea876650 +SIZE (zarith-1.4.1.tgz) = 88831 |