update ocaml-zarith to 1.12
ok chrisz@
This commit is contained in:
parent
5076ae6103
commit
70e0408a36
@ -1,15 +1,14 @@
|
||||
# $OpenBSD: Makefile,v 1.10 2021/12/10 04:11:00 daniel Exp $
|
||||
# $OpenBSD: Makefile,v 1.11 2021/12/12 05:26:18 daniel Exp $
|
||||
|
||||
COMMENT = arbitrary precision integer and rational arithmetic
|
||||
CATEGORIES = math
|
||||
|
||||
V = 1.11
|
||||
V = 1.12
|
||||
GH_ACCOUNT = ocaml
|
||||
GH_PROJECT = Zarith
|
||||
GH_TAGNAME = release-${V}
|
||||
DISTNAME = ${GH_PROJECT}-${V}
|
||||
PKGNAME = ocaml-zarith-${V}
|
||||
REVISION = 1
|
||||
|
||||
HOMEPAGE = https://github.com/ocaml/num/
|
||||
|
||||
|
@ -1,2 +1,2 @@
|
||||
SHA256 (Zarith-1.11.tar.gz) = +ZavEgoQ/QaoJyrpm3r/1XzvScV6OlluL1iRR90YNoQ=
|
||||
SIZE (Zarith-1.11.tar.gz) = 98909
|
||||
SHA256 (Zarith-1.12.tar.gz) = zDJWPDhFyG0PYJyG2Dv4YH7xI1SGPTHTv/wNrPHtKIE=
|
||||
SIZE (Zarith-1.12.tar.gz) = 93695
|
||||
|
@ -1,32 +0,0 @@
|
||||
$OpenBSD: patch-configure,v 1.2 2020/11/22 21:30:43 daniel Exp $
|
||||
|
||||
Index: configure
|
||||
--- configure.orig
|
||||
+++ configure
|
||||
@@ -314,7 +314,7 @@ fi
|
||||
|
||||
arch='none'
|
||||
case $host in
|
||||
- x86_64-*linux-gnu|x86_64-kfreebsd-gnu)
|
||||
+ x86_64-*linux-gnu|x86_64-kfreebsd-gnu|amd64-*-openbsd*)
|
||||
ccdef="-DZ_ELF -DZ_DOT_LABEL_PREFIX $ccdef"
|
||||
if test $wordsize = 32; then
|
||||
# 32-bit OCaml on a 64-bit host
|
||||
@@ -337,7 +337,7 @@ case $host in
|
||||
arch='i686'
|
||||
fi
|
||||
;;
|
||||
- i386-*darwin* | x86_64-*darwin*)
|
||||
+ i386-*darwin* | x86_64-*darwin* | i386-*-openbsd*)
|
||||
ccdef="-DZ_UNDERSCORE_PREFIX -DZ_MACOS $ccdef"
|
||||
if test "x$wordsize" = "x64"; then
|
||||
ccopt="-arch x86_64 $ccopt"
|
||||
@@ -351,7 +351,7 @@ case $host in
|
||||
checkcc
|
||||
fi
|
||||
;;
|
||||
- armv7*-gnueabi)
|
||||
+ armv7*-gnueabi | armv7-*-openbsd*)
|
||||
arch='arm'
|
||||
;;
|
||||
none)
|
@ -1,4 +1,4 @@
|
||||
$OpenBSD: patch-project_mak,v 1.2 2020/11/22 21:30:43 daniel Exp $
|
||||
$OpenBSD: patch-project_mak,v 1.3 2021/12/12 05:26:18 daniel Exp $
|
||||
|
||||
* respect MAKE
|
||||
* we already configure ocamlfind via OCAMLFIND_DESTDIR.
|
||||
@ -6,8 +6,8 @@ $OpenBSD: patch-project_mak,v 1.2 2020/11/22 21:30:43 daniel Exp $
|
||||
Index: project.mak
|
||||
--- project.mak.orig
|
||||
+++ project.mak
|
||||
@@ -67,7 +67,7 @@ endif
|
||||
all: $(TOINSTALL)
|
||||
@@ -68,7 +68,7 @@ endif
|
||||
all: $(TOBUILD)
|
||||
|
||||
tests:
|
||||
- make -C tests test
|
||||
@ -15,7 +15,7 @@ Index: project.mak
|
||||
|
||||
zarith.cma: $(MLSRC:%.ml=%.cmo)
|
||||
$(OCAMLMKLIB) -failsafe -o zarith $+ $(LIBS)
|
||||
@@ -110,10 +110,10 @@ endif
|
||||
@@ -112,10 +112,10 @@ endif
|
||||
|
||||
ifeq ($(INSTMETH),findlib)
|
||||
install:
|
||||
@ -28,7 +28,7 @@ Index: project.mak
|
||||
endif
|
||||
|
||||
|
||||
@@ -143,7 +143,7 @@ $(AUTOGEN): z.mlp z.mlip $(SSRC) z_pp.pl
|
||||
@@ -142,7 +142,7 @@ endif
|
||||
|
||||
clean:
|
||||
/bin/rm -rf *.$(OBJSUFFIX) *.$(LIBSUFFIX) *.$(DLLSUFFIX) *.cmi *.cmo *.cmx *.cmxa *.cmxs *.cma *.cmt *.cmti *~ \#* depend test $(AUTOGEN) tmp.c depend
|
||||
|
Loading…
Reference in New Issue
Block a user