CVS commit: pkgsrc/math

["Taylor R Campbell" <riastradh%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   riastradh
Date:           Tue May 19 21:42:29 UTC 2020

Modified Files:
        pkgsrc/math: Makefile
Added Files:
        pkgsrc/math/gappa: DESCR Makefile PLIST distinfo
        pkgsrc/math/gappa/patches: patch-Remakefile.in

Log Message:
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.


To generate a diff of this commit:
cvs rdiff -u -r1.462 -r1.463 pkgsrc/math/Makefile
cvs rdiff -u -r0 -r1.1 pkgsrc/math/gappa/DESCR pkgsrc/math/gappa/Makefile \
    pkgsrc/math/gappa/PLIST pkgsrc/math/gappa/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/math/gappa/patches/patch-Remakefile.in

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/Makefile
diff -u pkgsrc/math/Makefile:1.462 pkgsrc/math/Makefile:1.463
--- pkgsrc/math/Makefile:1.462  Tue May 19 14:45:21 2020
+++ pkgsrc/math/Makefile        Tue May 19 21:42:29 2020
@@ -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+=    fplll
 SUBDIR+=       fricas
 SUBDIR+=       galculator
 SUBDIR+=       gap
+SUBDIR+=       gappa
 SUBDIR+=       gcalctool
 SUBDIR+=       geg
 SUBDIR+=       genius

Added files:

Index: pkgsrc/math/gappa/DESCR
diff -u /dev/null pkgsrc/math/gappa/DESCR:1.1
--- /dev/null   Tue May 19 21:42:29 2020
+++ pkgsrc/math/gappa/DESCR     Tue May 19 21:42:29 2020
@@ -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.
Index: pkgsrc/math/gappa/Makefile
diff -u /dev/null pkgsrc/math/gappa/Makefile:1.1
--- /dev/null   Tue May 19 21:42:29 2020
+++ pkgsrc/math/gappa/Makefile  Tue May 19 21:42:29 2020
@@ -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"
Index: pkgsrc/math/gappa/PLIST
diff -u /dev/null pkgsrc/math/gappa/PLIST:1.1
--- /dev/null   Tue May 19 21:42:29 2020
+++ pkgsrc/math/gappa/PLIST     Tue May 19 21:42:29 2020
@@ -0,0 +1,2 @@
+@comment $NetBSD: PLIST,v 1.1 2020/05/19 21:42:29 riastradh Exp $
+bin/gappa
Index: pkgsrc/math/gappa/distinfo
diff -u /dev/null pkgsrc/math/gappa/distinfo:1.1
--- /dev/null   Tue May 19 21:42:29 2020
+++ pkgsrc/math/gappa/distinfo  Tue May 19 21:42:29 2020
@@ -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

Index: pkgsrc/math/gappa/patches/patch-Remakefile.in
diff -u /dev/null pkgsrc/math/gappa/patches/patch-Remakefile.in:1.1
--- /dev/null   Tue May 19 21:42:29 2020
+++ pkgsrc/math/gappa/patches/patch-Remakefile.in       Tue May 19 21:42:29 2020
@@ -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 \