Tue May 19 21:42:29 2020 UTC ()
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.


(riastradh)
diff -r1.462 -r1.463 pkgsrc/math/Makefile
diff -r0 -r1.1 pkgsrc/math/gappa/DESCR
diff -r0 -r1.1 pkgsrc/math/gappa/Makefile
diff -r0 -r1.1 pkgsrc/math/gappa/PLIST
diff -r0 -r1.1 pkgsrc/math/gappa/distinfo
diff -r0 -r1.1 pkgsrc/math/gappa/patches/patch-Remakefile.in
cvs diff -r1.462 -r1.463 pkgsrc/math/Makefile (expand / switch to unified diff)

--- pkgsrc/math/Makefile 2020/05/19 14:45:21 1.462
+++ pkgsrc/math/Makefile 2020/05/19 21:42:29 1.463
@@ -1,14 +1,14 @@ @@ -1,14 +1,14 @@
1# $NetBSD: Makefile,v 1.462 2020/05/19 14:45:21 riastradh Exp $ 1# $NetBSD: Makefile,v 1.463 2020/05/19 21:42:29 riastradh Exp $
2 2
3COMMENT= Mathematics 3COMMENT= Mathematics
4 4
5SUBDIR+= R 5SUBDIR+= R
6SUBDIR+= R-CGIwithR 6SUBDIR+= R-CGIwithR
7SUBDIR+= R-DAAG 7SUBDIR+= R-DAAG
8SUBDIR+= R-DBI 8SUBDIR+= R-DBI
9SUBDIR+= R-DEoptimR 9SUBDIR+= R-DEoptimR
10SUBDIR+= R-FNN 10SUBDIR+= R-FNN
11SUBDIR+= R-Formula 11SUBDIR+= R-Formula
12SUBDIR+= R-GRASS 12SUBDIR+= R-GRASS
13SUBDIR+= R-ISLR 13SUBDIR+= R-ISLR
14SUBDIR+= R-ISwR 14SUBDIR+= R-ISwR
@@ -155,26 +155,27 @@ SUBDIR+= eukleides @@ -155,26 +155,27 @@ SUBDIR+= eukleides
155SUBDIR+= eukleides10 155SUBDIR+= eukleides10
156SUBDIR+= euler 156SUBDIR+= euler
157SUBDIR+= fftpack 157SUBDIR+= fftpack
158SUBDIR+= ffts 158SUBDIR+= ffts
159SUBDIR+= fftw 159SUBDIR+= fftw
160SUBDIR+= fftw2 160SUBDIR+= fftw2
161SUBDIR+= fftwf 161SUBDIR+= fftwf
162SUBDIR+= fgmp 162SUBDIR+= fgmp
163SUBDIR+= fityk 163SUBDIR+= fityk
164SUBDIR+= fplll 164SUBDIR+= fplll
165SUBDIR+= fricas 165SUBDIR+= fricas
166SUBDIR+= galculator 166SUBDIR+= galculator
167SUBDIR+= gap 167SUBDIR+= gap
 168SUBDIR+= gappa
168SUBDIR+= gcalctool 169SUBDIR+= gcalctool
169SUBDIR+= geg 170SUBDIR+= geg
170SUBDIR+= genius 171SUBDIR+= genius
171SUBDIR+= glpk 172SUBDIR+= glpk
172SUBDIR+= gnome-calculator 173SUBDIR+= gnome-calculator
173SUBDIR+= gnumeric112 174SUBDIR+= gnumeric112
174SUBDIR+= go-stats 175SUBDIR+= go-stats
175SUBDIR+= go-units 176SUBDIR+= go-units
176SUBDIR+= gp-autpgrp 177SUBDIR+= gp-autpgrp
177SUBDIR+= gp-factint 178SUBDIR+= gp-factint
178SUBDIR+= gp-fplsa 179SUBDIR+= gp-fplsa
179SUBDIR+= gp-grape 180SUBDIR+= gp-grape
180SUBDIR+= gp-grpconst 181SUBDIR+= gp-grpconst
File Added: pkgsrc/math/gappa/DESCR
Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.
File Added: pkgsrc/math/gappa/Makefile
# $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
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"
File Added: pkgsrc/math/gappa/PLIST
@comment $NetBSD: PLIST,v 1.1 2020/05/19 21:42:29 riastradh Exp $
bin/gappa
File Added: pkgsrc/math/gappa/distinfo
$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
File Added: pkgsrc/math/gappa/patches/patch-Remakefile.in
$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 \