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 (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,432 +1,433 @@ @@ -1,432 +1,433 @@
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
15SUBDIR+= R-MatrixModels 15SUBDIR+= R-MatrixModels
16SUBDIR+= R-PHYLOGR 16SUBDIR+= R-PHYLOGR
17SUBDIR+= R-R2HTML 17SUBDIR+= R-R2HTML
18SUBDIR+= R-RArcInfo 18SUBDIR+= R-RArcInfo
19SUBDIR+= R-RColorBrewer 19SUBDIR+= R-RColorBrewer
20SUBDIR+= R-RNetCDF 20SUBDIR+= R-RNetCDF
21SUBDIR+= R-RPostgreSQL 21SUBDIR+= R-RPostgreSQL
22SUBDIR+= R-RandomFields 22SUBDIR+= R-RandomFields
23SUBDIR+= R-RandomFieldsUtils 23SUBDIR+= R-RandomFieldsUtils
24SUBDIR+= R-Rcmdr 24SUBDIR+= R-Rcmdr
25SUBDIR+= R-RcmdrMisc 25SUBDIR+= R-RcmdrMisc
26SUBDIR+= R-RcppArmadillo 26SUBDIR+= R-RcppArmadillo
27SUBDIR+= R-RcppEigen 27SUBDIR+= R-RcppEigen
28SUBDIR+= R-SparseM 28SUBDIR+= R-SparseM
29SUBDIR+= R-VGAM 29SUBDIR+= R-VGAM
30SUBDIR+= R-XML 30SUBDIR+= R-XML
31SUBDIR+= R-abind 31SUBDIR+= R-abind
32SUBDIR+= R-acepack 32SUBDIR+= R-acepack
33SUBDIR+= R-akima 33SUBDIR+= R-akima
34SUBDIR+= R-aplpack 34SUBDIR+= R-aplpack
35SUBDIR+= R-backports 35SUBDIR+= R-backports
36SUBDIR+= R-bbmle 36SUBDIR+= R-bbmle
37SUBDIR+= R-bitops 37SUBDIR+= R-bitops
38SUBDIR+= R-car 38SUBDIR+= R-car
39SUBDIR+= R-carData 39SUBDIR+= R-carData
40SUBDIR+= R-chron 40SUBDIR+= R-chron
41SUBDIR+= R-circular 41SUBDIR+= R-circular
42SUBDIR+= R-classInt 42SUBDIR+= R-classInt
43SUBDIR+= R-clim.pact 43SUBDIR+= R-clim.pact
44SUBDIR+= R-coda 44SUBDIR+= R-coda
45SUBDIR+= R-combinat 45SUBDIR+= R-combinat
46SUBDIR+= R-compositions 46SUBDIR+= R-compositions
47SUBDIR+= R-date 47SUBDIR+= R-date
48SUBDIR+= R-dplyr 48SUBDIR+= R-dplyr
49SUBDIR+= R-e1071 49SUBDIR+= R-e1071
50SUBDIR+= R-ellipsis 50SUBDIR+= R-ellipsis
51SUBDIR+= R-emdbook 51SUBDIR+= R-emdbook
52SUBDIR+= R-energy 52SUBDIR+= R-energy
53SUBDIR+= R-estimability 53SUBDIR+= R-estimability
54SUBDIR+= R-forcats 54SUBDIR+= R-forcats
55SUBDIR+= R-forecast 55SUBDIR+= R-forecast
56SUBDIR+= R-fracdiff 56SUBDIR+= R-fracdiff
57SUBDIR+= R-gdata 57SUBDIR+= R-gdata
58SUBDIR+= R-genetics 58SUBDIR+= R-genetics
59SUBDIR+= R-geoR 59SUBDIR+= R-geoR
60SUBDIR+= R-geoRglm 60SUBDIR+= R-geoRglm
61SUBDIR+= R-gss 61SUBDIR+= R-gss
62SUBDIR+= R-gstat 62SUBDIR+= R-gstat
63SUBDIR+= R-gtable 63SUBDIR+= R-gtable
64SUBDIR+= R-gtools 64SUBDIR+= R-gtools
65SUBDIR+= R-httpRequest 65SUBDIR+= R-httpRequest
66SUBDIR+= R-hwde 66SUBDIR+= R-hwde
67SUBDIR+= R-igraph 67SUBDIR+= R-igraph
68SUBDIR+= R-intervals 68SUBDIR+= R-intervals
69SUBDIR+= R-lme4 69SUBDIR+= R-lme4
70SUBDIR+= R-lmm 70SUBDIR+= R-lmm
71SUBDIR+= R-lmtest 71SUBDIR+= R-lmtest
72SUBDIR+= R-mapproj 72SUBDIR+= R-mapproj
73SUBDIR+= R-maps 73SUBDIR+= R-maps
74SUBDIR+= R-minqa 74SUBDIR+= R-minqa
75SUBDIR+= R-mitools 75SUBDIR+= R-mitools
76SUBDIR+= R-moonsun 76SUBDIR+= R-moonsun
77SUBDIR+= R-mvtnorm 77SUBDIR+= R-mvtnorm
78SUBDIR+= R-ncdf 78SUBDIR+= R-ncdf
79SUBDIR+= R-nloptr 79SUBDIR+= R-nloptr
80SUBDIR+= R-nortest 80SUBDIR+= R-nortest
81SUBDIR+= R-numDeriv 81SUBDIR+= R-numDeriv
82SUBDIR+= R-pbkrtest 82SUBDIR+= R-pbkrtest
83SUBDIR+= R-pixmap 83SUBDIR+= R-pixmap
84SUBDIR+= R-plyr 84SUBDIR+= R-plyr
85SUBDIR+= R-poweRlaw 85SUBDIR+= R-poweRlaw
86SUBDIR+= R-prettyunits 86SUBDIR+= R-prettyunits
87SUBDIR+= R-prob 87SUBDIR+= R-prob
88SUBDIR+= R-quadprog 88SUBDIR+= R-quadprog
89SUBDIR+= R-quantreg 89SUBDIR+= R-quantreg
90SUBDIR+= R-randomForest 90SUBDIR+= R-randomForest
91SUBDIR+= R-relimp 91SUBDIR+= R-relimp
92SUBDIR+= R-reshape2 92SUBDIR+= R-reshape2
93SUBDIR+= R-robustbase 93SUBDIR+= R-robustbase
94SUBDIR+= R-rstudioapi 94SUBDIR+= R-rstudioapi
95SUBDIR+= R-sandwich 95SUBDIR+= R-sandwich
96SUBDIR+= R-sgeostat 96SUBDIR+= R-sgeostat
97SUBDIR+= R-shapefiles 97SUBDIR+= R-shapefiles
98SUBDIR+= R-sp 98SUBDIR+= R-sp
99SUBDIR+= R-spacetime 99SUBDIR+= R-spacetime
100SUBDIR+= R-splancs 100SUBDIR+= R-splancs
101SUBDIR+= R-stabledist 101SUBDIR+= R-stabledist
102SUBDIR+= R-statmod 102SUBDIR+= R-statmod
103SUBDIR+= R-stringdist 103SUBDIR+= R-stringdist
104SUBDIR+= R-survey 104SUBDIR+= R-survey
105SUBDIR+= R-tensorA 105SUBDIR+= R-tensorA
106SUBDIR+= R-tibble 106SUBDIR+= R-tibble
107SUBDIR+= R-tidyr 107SUBDIR+= R-tidyr
108SUBDIR+= R-urca 108SUBDIR+= R-urca
109SUBDIR+= R-vctrs 109SUBDIR+= R-vctrs
110SUBDIR+= R-wle 110SUBDIR+= R-wle
111SUBDIR+= R-xtable 111SUBDIR+= R-xtable
112SUBDIR+= R-xts 112SUBDIR+= R-xts
113SUBDIR+= R-zeallot 113SUBDIR+= R-zeallot
114SUBDIR+= R-zoo 114SUBDIR+= R-zoo
115SUBDIR+= TinySVM 115SUBDIR+= TinySVM
116SUBDIR+= aamath 116SUBDIR+= aamath
117SUBDIR+= abs 117SUBDIR+= abs
118SUBDIR+= admesh 118SUBDIR+= admesh
119SUBDIR+= algae 119SUBDIR+= algae
120SUBDIR+= amath 120SUBDIR+= amath
121SUBDIR+= analitza 121SUBDIR+= analitza
122SUBDIR+= antixls 122SUBDIR+= antixls
123SUBDIR+= aribas 123SUBDIR+= aribas
124SUBDIR+= arpack-ng 124SUBDIR+= arpack-ng
125SUBDIR+= bc 125SUBDIR+= bc
126SUBDIR+= bc-gh 126SUBDIR+= bc-gh
127SUBDIR+= bcal 127SUBDIR+= bcal
128SUBDIR+= blas 128SUBDIR+= blas
129SUBDIR+= blitz++ 129SUBDIR+= blitz++
130SUBDIR+= boolstuff 130SUBDIR+= boolstuff
131SUBDIR+= calc 131SUBDIR+= calc
132SUBDIR+= calcoo 132SUBDIR+= calcoo
133SUBDIR+= cantor 133SUBDIR+= cantor
134SUBDIR+= capc-calc 134SUBDIR+= capc-calc
135SUBDIR+= cgal 135SUBDIR+= cgal
136SUBDIR+= classias 136SUBDIR+= classias
137SUBDIR+= clisp-pari 137SUBDIR+= clisp-pari
138SUBDIR+= cln 138SUBDIR+= cln
139SUBDIR+= cloog 139SUBDIR+= cloog
140SUBDIR+= coinmp 140SUBDIR+= coinmp
141SUBDIR+= congen 141SUBDIR+= congen
142SUBDIR+= crfsuite 142SUBDIR+= crfsuite
143SUBDIR+= dcdflib.c 143SUBDIR+= dcdflib.c
144SUBDIR+= dcdflib.f 144SUBDIR+= dcdflib.f
145SUBDIR+= dfftpack 145SUBDIR+= dfftpack
146SUBDIR+= dieharder 146SUBDIR+= dieharder
147SUBDIR+= djbfft 147SUBDIR+= djbfft
148SUBDIR+= djbsort 148SUBDIR+= djbsort
149SUBDIR+= double-conversion 149SUBDIR+= double-conversion
150SUBDIR+= eigen2 150SUBDIR+= eigen2
151SUBDIR+= eigen3 151SUBDIR+= eigen3
152SUBDIR+= eispack 152SUBDIR+= eispack
153SUBDIR+= ess 153SUBDIR+= ess
154SUBDIR+= eukleides 154SUBDIR+= 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
181SUBDIR+= gp-lag 182SUBDIR+= gp-lag
182SUBDIR+= grace 183SUBDIR+= grace
183SUBDIR+= graphopt 184SUBDIR+= graphopt
184SUBDIR+= grpn 185SUBDIR+= grpn
185SUBDIR+= gsl 186SUBDIR+= gsl
186SUBDIR+= gtklife 187SUBDIR+= gtklife
187SUBDIR+= harmbase2 188SUBDIR+= harmbase2
188SUBDIR+= harmgen 189SUBDIR+= harmgen
189SUBDIR+= harminv 190SUBDIR+= harminv
190SUBDIR+= heirloom-factor 191SUBDIR+= heirloom-factor
191SUBDIR+= heirloom-units 192SUBDIR+= heirloom-units
192SUBDIR+= herisvm 193SUBDIR+= herisvm
193SUBDIR+= hs-bifunctors 194SUBDIR+= hs-bifunctors
194SUBDIR+= hs-comonad 195SUBDIR+= hs-comonad
195SUBDIR+= hs-contravariant 196SUBDIR+= hs-contravariant
196SUBDIR+= hs-distributive 197SUBDIR+= hs-distributive
197SUBDIR+= hs-ieee754 198SUBDIR+= hs-ieee754
198SUBDIR+= hs-integer-logarithms 199SUBDIR+= hs-integer-logarithms
199SUBDIR+= hs-math-functions 200SUBDIR+= hs-math-functions
200SUBDIR+= hs-mwc-random 201SUBDIR+= hs-mwc-random
201SUBDIR+= hs-nats 202SUBDIR+= hs-nats
202SUBDIR+= hs-profunctors 203SUBDIR+= hs-profunctors
203SUBDIR+= hs-scientific 204SUBDIR+= hs-scientific
204SUBDIR+= hs-semigroupoids 205SUBDIR+= hs-semigroupoids
205SUBDIR+= hs-semigroups 206SUBDIR+= hs-semigroups
206SUBDIR+= ipopt 207SUBDIR+= ipopt
207SUBDIR+= isl 208SUBDIR+= isl
208SUBDIR+= itpp 209SUBDIR+= itpp
209SUBDIR+= kalgebra 210SUBDIR+= kalgebra
210SUBDIR+= kcalc 211SUBDIR+= kcalc
211SUBDIR+= lapack 212SUBDIR+= lapack
212SUBDIR+= libffm 213SUBDIR+= libffm
213SUBDIR+= libint 214SUBDIR+= libint
214SUBDIR+= libixion 215SUBDIR+= libixion
215SUBDIR+= liblbfgs 216SUBDIR+= liblbfgs
216SUBDIR+= liblinear 217SUBDIR+= liblinear
217SUBDIR+= libmatheval 218SUBDIR+= libmatheval
218SUBDIR+= libnumbertext 219SUBDIR+= libnumbertext
219SUBDIR+= libshorttext 220SUBDIR+= libshorttext
220SUBDIR+= libsvm 221SUBDIR+= libsvm
221SUBDIR+= linpack 222SUBDIR+= linpack
222SUBDIR+= lp_solve 223SUBDIR+= lp_solve
223SUBDIR+= ltm 224SUBDIR+= ltm
224SUBDIR+= mapm 225SUBDIR+= mapm
225SUBDIR+= mathomatic 226SUBDIR+= mathomatic
226SUBDIR+= maxima 227SUBDIR+= maxima
227SUBDIR+= mcsim 228SUBDIR+= mcsim
228SUBDIR+= meschach 229SUBDIR+= meschach
229SUBDIR+= metis 230SUBDIR+= metis
230SUBDIR+= minisat 231SUBDIR+= minisat
231SUBDIR+= minpack 232SUBDIR+= minpack
232SUBDIR+= mpcomplex 233SUBDIR+= mpcomplex
233SUBDIR+= mpfi 234SUBDIR+= mpfi
234SUBDIR+= mpfr 235SUBDIR+= mpfr
235SUBDIR+= mprime-bin 236SUBDIR+= mprime-bin
236SUBDIR+= mtl 237SUBDIR+= mtl
237SUBDIR+= muparser 238SUBDIR+= muparser
238SUBDIR+= newmat 239SUBDIR+= newmat
239SUBDIR+= nickle 240SUBDIR+= nickle
240SUBDIR+= nlopt 241SUBDIR+= nlopt
241SUBDIR+= ntl 242SUBDIR+= ntl
242SUBDIR+= ocaml-num 243SUBDIR+= ocaml-num
243SUBDIR+= ocaml-zarith 244SUBDIR+= ocaml-zarith
244SUBDIR+= octave 245SUBDIR+= octave
245SUBDIR+= odepack 246SUBDIR+= odepack
246SUBDIR+= openaxiom 247SUBDIR+= openaxiom
247SUBDIR+= openfst 248SUBDIR+= openfst
248SUBDIR+= ordCalc 249SUBDIR+= ordCalc
249SUBDIR+= otter 250SUBDIR+= otter
250SUBDIR+= p5-Algorithm-BloomFilter 251SUBDIR+= p5-Algorithm-BloomFilter
251SUBDIR+= p5-Algorithm-Cluster 252SUBDIR+= p5-Algorithm-Cluster
252SUBDIR+= p5-Algorithm-Munkres 253SUBDIR+= p5-Algorithm-Munkres
253SUBDIR+= p5-Alien-GMP 254SUBDIR+= p5-Alien-GMP
254SUBDIR+= p5-Excel-Template 255SUBDIR+= p5-Excel-Template
255SUBDIR+= p5-Excel-Template-Plus 256SUBDIR+= p5-Excel-Template-Plus
256SUBDIR+= p5-Math-Base-Convert 257SUBDIR+= p5-Math-Base-Convert
257SUBDIR+= p5-Math-Base36 258SUBDIR+= p5-Math-Base36
258SUBDIR+= p5-Math-Base85 259SUBDIR+= p5-Math-Base85
259SUBDIR+= p5-Math-BaseCnv 260SUBDIR+= p5-Math-BaseCnv
260SUBDIR+= p5-Math-Bezier 261SUBDIR+= p5-Math-Bezier
261SUBDIR+= p5-Math-BigInt 262SUBDIR+= p5-Math-BigInt
262SUBDIR+= p5-Math-BigInt-GMP 263SUBDIR+= p5-Math-BigInt-GMP
263SUBDIR+= p5-Math-BigInt-Pari 264SUBDIR+= p5-Math-BigInt-Pari
264SUBDIR+= p5-Math-BigInteger 265SUBDIR+= p5-Math-BigInteger
265SUBDIR+= p5-Math-Calc-Units 266SUBDIR+= p5-Math-Calc-Units
266SUBDIR+= p5-Math-Complex 267SUBDIR+= p5-Math-Complex
267SUBDIR+= p5-Math-Derivative 268SUBDIR+= p5-Math-Derivative
268SUBDIR+= p5-Math-FFT 269SUBDIR+= p5-Math-FFT
269SUBDIR+= p5-Math-GMP 270SUBDIR+= p5-Math-GMP
270SUBDIR+= p5-Math-Int128 271SUBDIR+= p5-Math-Int128
271SUBDIR+= p5-Math-Int64 272SUBDIR+= p5-Math-Int64
272SUBDIR+= p5-Math-Interpolate 273SUBDIR+= p5-Math-Interpolate
273SUBDIR+= p5-Math-Matrix 274SUBDIR+= p5-Math-Matrix
274SUBDIR+= p5-Math-MatrixReal 275SUBDIR+= p5-Math-MatrixReal
275SUBDIR+= p5-Math-Pari 276SUBDIR+= p5-Math-Pari
276SUBDIR+= p5-Math-Permute-List 277SUBDIR+= p5-Math-Permute-List
277SUBDIR+= p5-Math-Prime-Util 278SUBDIR+= p5-Math-Prime-Util
278SUBDIR+= p5-Math-Random 279SUBDIR+= p5-Math-Random
279SUBDIR+= p5-Math-Random-ISAAC 280SUBDIR+= p5-Math-Random-ISAAC
280SUBDIR+= p5-Math-Random-ISAAC-XS 281SUBDIR+= p5-Math-Random-ISAAC-XS
281SUBDIR+= p5-Math-Random-MT 282SUBDIR+= p5-Math-Random-MT
282SUBDIR+= p5-Math-Random-MT-Auto 283SUBDIR+= p5-Math-Random-MT-Auto
283SUBDIR+= p5-Math-Random-MT-Perl 284SUBDIR+= p5-Math-Random-MT-Perl
284SUBDIR+= p5-Math-Round 285SUBDIR+= p5-Math-Round
285SUBDIR+= p5-Math-Spline 286SUBDIR+= p5-Math-Spline
286SUBDIR+= p5-Math-Systems 287SUBDIR+= p5-Math-Systems
287SUBDIR+= p5-Math-Utils 288SUBDIR+= p5-Math-Utils
288SUBDIR+= p5-Math-VecStat 289SUBDIR+= p5-Math-VecStat
289SUBDIR+= p5-Number-Compare 290SUBDIR+= p5-Number-Compare
290SUBDIR+= p5-Number-Latin 291SUBDIR+= p5-Number-Latin
291SUBDIR+= p5-Number-Range 292SUBDIR+= p5-Number-Range
292SUBDIR+= p5-Number-Tolerant 293SUBDIR+= p5-Number-Tolerant
293SUBDIR+= p5-Number-WithError 294SUBDIR+= p5-Number-WithError
294SUBDIR+= p5-Roman 295SUBDIR+= p5-Roman
295SUBDIR+= p5-Set-Crontab 296SUBDIR+= p5-Set-Crontab
296SUBDIR+= p5-Set-Infinite 297SUBDIR+= p5-Set-Infinite
297SUBDIR+= p5-Spreadsheet-ParseExcel 298SUBDIR+= p5-Spreadsheet-ParseExcel
298SUBDIR+= p5-Spreadsheet-Read 299SUBDIR+= p5-Spreadsheet-Read
299SUBDIR+= p5-Spreadsheet-ReadSXC 300SUBDIR+= p5-Spreadsheet-ReadSXC
300SUBDIR+= p5-Spreadsheet-WriteExcel 301SUBDIR+= p5-Spreadsheet-WriteExcel
301SUBDIR+= p5-Spreadsheet-XLSX 302SUBDIR+= p5-Spreadsheet-XLSX
302SUBDIR+= p5-Statistics-CaseResampling 303SUBDIR+= p5-Statistics-CaseResampling
303SUBDIR+= p5-Statistics-Descriptive 304SUBDIR+= p5-Statistics-Descriptive
304SUBDIR+= p5-Statistics-Distributions 305SUBDIR+= p5-Statistics-Distributions
305SUBDIR+= p5-Statistics-TTest 306SUBDIR+= p5-Statistics-TTest
306SUBDIR+= p5-Test-Number-Delta 307SUBDIR+= p5-Test-Number-Delta
307SUBDIR+= pari 308SUBDIR+= pari
308SUBDIR+= pari-galdata 309SUBDIR+= pari-galdata
309SUBDIR+= pari23 310SUBDIR+= pari23
310SUBDIR+= pcg 311SUBDIR+= pcg
311SUBDIR+= pear-Math_BigInteger 312SUBDIR+= pear-Math_BigInteger
312SUBDIR+= pear-Numbers_Roman 313SUBDIR+= pear-Numbers_Roman
313SUBDIR+= pear-Numbers_Words 314SUBDIR+= pear-Numbers_Words
314SUBDIR+= php-bcmath 315SUBDIR+= php-bcmath
315SUBDIR+= php-stats 316SUBDIR+= php-stats
316SUBDIR+= ppl 317SUBDIR+= ppl
317SUBDIR+= prng 318SUBDIR+= prng
318SUBDIR+= pspp 319SUBDIR+= pspp
319SUBDIR+= py-Keras-Applications 320SUBDIR+= py-Keras-Applications
320SUBDIR+= py-Keras-Preprocessing 321SUBDIR+= py-Keras-Preprocessing
321SUBDIR+= py-Numeric 322SUBDIR+= py-Numeric
322SUBDIR+= py-Scientific 323SUBDIR+= py-Scientific
323SUBDIR+= py-Scientific-doc 324SUBDIR+= py-Scientific-doc
324SUBDIR+= py-Theano 325SUBDIR+= py-Theano
325SUBDIR+= py-abcpmc 326SUBDIR+= py-abcpmc
326SUBDIR+= py-almost 327SUBDIR+= py-almost
327SUBDIR+= py-arviz 328SUBDIR+= py-arviz
328SUBDIR+= py-asteval 329SUBDIR+= py-asteval
329SUBDIR+= py-autograd 330SUBDIR+= py-autograd
330SUBDIR+= py-bottleneck 331SUBDIR+= py-bottleneck
331SUBDIR+= py-cdecimal 332SUBDIR+= py-cdecimal
332SUBDIR+= py-claripy 333SUBDIR+= py-claripy
333SUBDIR+= py-ephem 334SUBDIR+= py-ephem
334SUBDIR+= py-fftw 335SUBDIR+= py-fftw
335SUBDIR+= py-fpconst 336SUBDIR+= py-fpconst
336SUBDIR+= py-gmpy 337SUBDIR+= py-gmpy
337SUBDIR+= py-infinity 338SUBDIR+= py-infinity
338SUBDIR+= py-intervals 339SUBDIR+= py-intervals
339SUBDIR+= py-kiwisolver 340SUBDIR+= py-kiwisolver
340SUBDIR+= py-libixion 341SUBDIR+= py-libixion
341SUBDIR+= py-lmfit 342SUBDIR+= py-lmfit
342SUBDIR+= py-mpmath 343SUBDIR+= py-mpmath
343SUBDIR+= py-munkres 344SUBDIR+= py-munkres
344SUBDIR+= py-netCDF4 345SUBDIR+= py-netCDF4
345SUBDIR+= py-networkx 346SUBDIR+= py-networkx
346SUBDIR+= py-noise 347SUBDIR+= py-noise
347SUBDIR+= py-numarray 348SUBDIR+= py-numarray
348SUBDIR+= py-numba 349SUBDIR+= py-numba
349SUBDIR+= py-numexpr 350SUBDIR+= py-numexpr
350SUBDIR+= py-numpy 351SUBDIR+= py-numpy
351SUBDIR+= py-numpy16 352SUBDIR+= py-numpy16
352SUBDIR+= py-pandas 353SUBDIR+= py-pandas
353SUBDIR+= py-pandas-datareader 354SUBDIR+= py-pandas-datareader
354SUBDIR+= py-patsy 355SUBDIR+= py-patsy
355SUBDIR+= py-powerlaw 356SUBDIR+= py-powerlaw
356SUBDIR+= py-pymc3 357SUBDIR+= py-pymc3
357SUBDIR+= py-pywavelets 358SUBDIR+= py-pywavelets
358SUBDIR+= py-quadprog 359SUBDIR+= py-quadprog
359SUBDIR+= py-roman 360SUBDIR+= py-roman
360SUBDIR+= py-rpy 361SUBDIR+= py-rpy
361SUBDIR+= py-scikit-image 362SUBDIR+= py-scikit-image
362SUBDIR+= py-scikit-learn 363SUBDIR+= py-scikit-learn
363SUBDIR+= py-scipy 364SUBDIR+= py-scipy
364SUBDIR+= py-scipy12 365SUBDIR+= py-scipy12
365SUBDIR+= py-simpleeval 366SUBDIR+= py-simpleeval
366SUBDIR+= py-sklearn-pandas 367SUBDIR+= py-sklearn-pandas
367SUBDIR+= py-statsmodels 368SUBDIR+= py-statsmodels
368SUBDIR+= py-sympy 369SUBDIR+= py-sympy
369SUBDIR+= py-tables 370SUBDIR+= py-tables
370SUBDIR+= py-tensorboard 371SUBDIR+= py-tensorboard
371SUBDIR+= py-uncertainties 372SUBDIR+= py-uncertainties
372SUBDIR+= py-xarray 373SUBDIR+= py-xarray
373SUBDIR+= py-z3 374SUBDIR+= py-z3
374SUBDIR+= py-z3solver 375SUBDIR+= py-z3solver
375SUBDIR+= qalculate 376SUBDIR+= qalculate
376SUBDIR+= qalculate-gtk 377SUBDIR+= qalculate-gtk
377SUBDIR+= qhull 378SUBDIR+= qhull
378SUBDIR+= quadpack 379SUBDIR+= quadpack
379SUBDIR+= randlib 380SUBDIR+= randlib
380SUBDIR+= ranger 381SUBDIR+= ranger
381SUBDIR+= ruby-gsl 382SUBDIR+= ruby-gsl
382SUBDIR+= ruby-narray 383SUBDIR+= ruby-narray
383SUBDIR+= ruby-roo 384SUBDIR+= ruby-roo
384SUBDIR+= ruby-spreadsheet 385SUBDIR+= ruby-spreadsheet
385SUBDIR+= sc 386SUBDIR+= sc
386SUBDIR+= sc-im 387SUBDIR+= sc-im
387SUBDIR+= scilab 388SUBDIR+= scilab
388SUBDIR+= slatec 389SUBDIR+= slatec
389SUBDIR+= snns 390SUBDIR+= snns
390SUBDIR+= sollya 391SUBDIR+= sollya
391SUBDIR+= speedcrunch 392SUBDIR+= speedcrunch
392SUBDIR+= stan-math 393SUBDIR+= stan-math
393SUBDIR+= statist 394SUBDIR+= statist
394SUBDIR+= sundials 395SUBDIR+= sundials
395SUBDIR+= superlu 396SUBDIR+= superlu
396SUBDIR+= svmlin 397SUBDIR+= svmlin
397SUBDIR+= tasp-vsipl 398SUBDIR+= tasp-vsipl
398SUBDIR+= teapot 399SUBDIR+= teapot
399SUBDIR+= tex-apnum 400SUBDIR+= tex-apnum
400SUBDIR+= tex-apnum-doc 401SUBDIR+= tex-apnum-doc
401SUBDIR+= tex-fp 402SUBDIR+= tex-fp
402SUBDIR+= tex-fp-doc 403SUBDIR+= tex-fp-doc
403SUBDIR+= tex-kastrup 404SUBDIR+= tex-kastrup
404SUBDIR+= tex-kastrup-doc 405SUBDIR+= tex-kastrup-doc
405SUBDIR+= tex-mathpartir 406SUBDIR+= tex-mathpartir
406SUBDIR+= tex-mathpartir-doc 407SUBDIR+= tex-mathpartir-doc
407SUBDIR+= tex-mathspec 408SUBDIR+= tex-mathspec
408SUBDIR+= tex-mathspec-doc 409SUBDIR+= tex-mathspec-doc
409SUBDIR+= tex-unicode-math 410SUBDIR+= tex-unicode-math
410SUBDIR+= tex-unicode-math-doc 411SUBDIR+= tex-unicode-math-doc
411SUBDIR+= texdrive 412SUBDIR+= texdrive
412SUBDIR+= tochnog 413SUBDIR+= tochnog
413SUBDIR+= udunits 414SUBDIR+= udunits
414SUBDIR+= units 415SUBDIR+= units
415SUBDIR+= vista 416SUBDIR+= vista
416SUBDIR+= vowpal_wabbit 417SUBDIR+= vowpal_wabbit
417SUBDIR+= wxmaxima 418SUBDIR+= wxmaxima
418SUBDIR+= xeukleides10 419SUBDIR+= xeukleides10
419SUBDIR+= xfractint 420SUBDIR+= xfractint
420SUBDIR+= xgap 421SUBDIR+= xgap
421SUBDIR+= xldlas 422SUBDIR+= xldlas
422SUBDIR+= xlife 423SUBDIR+= xlife
423SUBDIR+= xlispstat 424SUBDIR+= xlispstat
424SUBDIR+= xmgr 425SUBDIR+= xmgr
425SUBDIR+= xyconvert 426SUBDIR+= xyconvert
426SUBDIR+= xylib 427SUBDIR+= xylib
427SUBDIR+= yacas 428SUBDIR+= yacas
428SUBDIR+= yices2 429SUBDIR+= yices2
429SUBDIR+= yorick 430SUBDIR+= yorick
430SUBDIR+= z3 431SUBDIR+= z3
431 432
432.include "../mk/misc/category.mk" 433.include "../mk/misc/category.mk"
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 \