diff options
author | riastradh <riastradh@pkgsrc.org> | 2020-05-19 21:42:29 +0000 |
---|---|---|
committer | riastradh <riastradh@pkgsrc.org> | 2020-05-19 21:42:29 +0000 |
commit | 6cdc556bdd5dcad730fc62cbc6a62b4599962c68 (patch) | |
tree | c4b49a1e6f0b82a8817969e0b66ea7f19495aaca /math/gappa | |
parent | 944261915a5f7bd6e74dc691251f22c27fea70b3 (diff) | |
download | pkgsrc-6cdc556bdd5dcad730fc62cbc6a62b4599962c68.tar.gz |
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 (limited to 'math/gappa')
-rw-r--r-- | math/gappa/DESCR | 3 | ||||
-rw-r--r-- | math/gappa/Makefile | 31 | ||||
-rw-r--r-- | math/gappa/PLIST | 2 | ||||
-rw-r--r-- | math/gappa/distinfo | 7 | ||||
-rw-r--r-- | math/gappa/patches/patch-Remakefile.in | 17 |
5 files changed, 60 insertions, 0 deletions
diff --git a/math/gappa/DESCR b/math/gappa/DESCR new file mode 100644 index 00000000000..0110ed9ff40 --- /dev/null +++ b/math/gappa/DESCR @@ -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 --git a/math/gappa/Makefile b/math/gappa/Makefile new file mode 100644 index 00000000000..b61044966f0 --- /dev/null +++ b/math/gappa/Makefile @@ -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 +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 --git a/math/gappa/PLIST b/math/gappa/PLIST new file mode 100644 index 00000000000..f2f6752c603 --- /dev/null +++ b/math/gappa/PLIST @@ -0,0 +1,2 @@ +@comment $NetBSD: PLIST,v 1.1 2020/05/19 21:42:29 riastradh Exp $ +bin/gappa diff --git a/math/gappa/distinfo b/math/gappa/distinfo new file mode 100644 index 00000000000..3dedfcd3ab9 --- /dev/null +++ b/math/gappa/distinfo @@ -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 --git a/math/gappa/patches/patch-Remakefile.in b/math/gappa/patches/patch-Remakefile.in new file mode 100644 index 00000000000..1880a173a20 --- /dev/null +++ b/math/gappa/patches/patch-Remakefile.in @@ -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 \ |