[pkgsrc/trunk]: pkgsrc/math gappa: Import gappa-1.3.5 as math-gappa

[riastradh <riastradh%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/5b57291754da
branches:  trunk
changeset: 432243:5b57291754da
user:      riastradh <riastradh%pkgsrc.org@localhost>
date:      Tue May 19 21:42:29 2020 +0000

description:
gappa: Import gappa-1.3.5 as math-gappa

Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.

diffstat:

 math/Makefile                          |   3 ++-
 math/gappa/DESCR                       |   3 +++
 math/gappa/Makefile                    |  31 +++++++++++++++++++++++++++++++
 math/gappa/PLIST                       |   2 ++
 math/gappa/distinfo                    |   7 +++++++
 math/gappa/patches/patch-Remakefile.in |  17 +++++++++++++++++
 6 files changed, 62 insertions(+), 1 deletions(-)

diffs (97 lines):

diff -r 745f84b0918c -r 5b57291754da math/Makefile
--- a/math/Makefile     Tue May 19 20:22:15 2020 +0000
+++ b/math/Makefile     Tue May 19 21:42:29 2020 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.462 2020/05/19 14:45:21 riastradh Exp $
+# $NetBSD: Makefile,v 1.463 2020/05/19 21:42:29 riastradh Exp $
 
 COMMENT=       Mathematics
 
@@ -165,6 +165,7 @@
 SUBDIR+=       fricas
 SUBDIR+=       galculator
 SUBDIR+=       gap
+SUBDIR+=       gappa
 SUBDIR+=       gcalctool
 SUBDIR+=       geg
 SUBDIR+=       genius
diff -r 745f84b0918c -r 5b57291754da math/gappa/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/gappa/DESCR  Tue May 19 21:42:29 2020 +0000
@@ -0,0 +1,3 @@
+Gappa is a tool intended to help verifying and formally proving
+properties on numerical programs dealing with floating-point or
+fixed-point arithmetic.
diff -r 745f84b0918c -r 5b57291754da math/gappa/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/gappa/Makefile       Tue May 19 21:42:29 2020 +0000
@@ -0,0 +1,31 @@
+# $NetBSD: Makefile,v 1.1 2020/05/19 21:42:29 riastradh Exp $
+
+DISTNAME=      gappa-1.3.5
+CATEGORIES=    math
+MASTER_SITES=  https://gforge.inria.fr/frs/download.php/file/38044/
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      http://gappa.gforge.inria.fr/
+COMMENT=       Formal verification tool for numerical programs
+LICENSE=       cecill-2.0 OR gnu-gpl-v3
+
+GNU_CONFIGURE= yes
+USE_LANGUAGES+=        c c++
+
+do-build:
+       cd ${WRKSRC} && ${PKGSRC_SETENV} ${MAKE_ENV} ./remake -j${_MAKE_JOBS_N}
+
+do-install:
+       cd ${WRKSRC} && \
+       ${PKGSRC_SETENV} ${INSTALL_ENV} ${MAKE_ENV} \
+       ./remake ${MAKE_FLAGS} ${INSTALL_MAKE_FLAGS} install
+
+do-test:
+       cd ${WRKSRC} && \
+       ${PKGSRC_SETENV} ${TEST_ENV} \
+       ./remake ${MAKE_FLAGS} ${TEST_MAKE_FLAGS} check
+
+.include "../../devel/boost-headers/buildlink3.mk"
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../math/mpfr/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r 745f84b0918c -r 5b57291754da math/gappa/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/gappa/PLIST  Tue May 19 21:42:29 2020 +0000
@@ -0,0 +1,2 @@
+@comment $NetBSD: PLIST,v 1.1 2020/05/19 21:42:29 riastradh Exp $
+bin/gappa
diff -r 745f84b0918c -r 5b57291754da math/gappa/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/gappa/distinfo       Tue May 19 21:42:29 2020 +0000
@@ -0,0 +1,7 @@
+$NetBSD: distinfo,v 1.1 2020/05/19 21:42:29 riastradh Exp $
+
+SHA1 (gappa-1.3.5.tar.gz) = 440fe6bc589dcd4b189955fa2df09724aa1f3b10
+RMD160 (gappa-1.3.5.tar.gz) = 455c27178dfcf952f9c1754bd7a9c02f50dad501
+SHA512 (gappa-1.3.5.tar.gz) = 60b5719e3a321df43e33045fa8f4511fc02a4218d1ae7e476e7c6ebcf90ae208832881f6eea5b99a3296dfcc3a18c7e1f4ea9dbea446fc502e14306b6975f6e6
+Size (gappa-1.3.5.tar.gz) = 412527 bytes
+SHA1 (patch-Remakefile.in) = 5e3deae8f7c22f1e7c8d15ff2503629742793382
diff -r 745f84b0918c -r 5b57291754da math/gappa/patches/patch-Remakefile.in
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/gappa/patches/patch-Remakefile.in    Tue May 19 21:42:29 2020 +0000
@@ -0,0 +1,17 @@
+$NetBSD: patch-Remakefile.in,v 1.1 2020/05/19 21:42:29 riastradh Exp $
+
+Install to DESTDIR.
+
+--- Remakefile.in.orig 2019-05-24 12:52:39.000000000 +0000
++++ Remakefile.in
+@@ -136,8 +136,8 @@ testsuite/clean:
+ install:
+       prefix=@prefix@
+       exec_prefix=@exec_prefix@
+-      mkdir -p @bindir@
+-      cp src/gappa @bindir@
++      mkdir -p $(DESTDIR)@bindir@
++      cp src/gappa $(DESTDIR)@bindir@
+ 
+ EXTRA_DIST = \
+       configure \