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/Makefile | |
| 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/Makefile')
| -rw-r--r-- | math/gappa/Makefile | 31 |
1 files changed, 31 insertions, 0 deletions
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" |