Fri Sep 1 10:17:26 2023 UTC ()
gappa: Assumes compiler defaults to C++11.


(nia)
diff -r1.1 -r1.2 pkgsrc/math/gappa/Makefile
cvs diff -r1.1 -r1.2 pkgsrc/math/gappa/Makefile (expand / switch to unified diff)

--- pkgsrc/math/gappa/Makefile 2020/05/19 21:42:29 1.1
+++ pkgsrc/math/gappa/Makefile 2023/09/01 10:17:26 1.2
@@ -1,27 +1,30 @@ @@ -1,27 +1,30 @@
1# $NetBSD: Makefile,v 1.1 2020/05/19 21:42:29 riastradh Exp $ 1# $NetBSD: Makefile,v 1.2 2023/09/01 10:17:26 nia Exp $
2 2
3DISTNAME= gappa-1.3.5 3DISTNAME= gappa-1.3.5
4CATEGORIES= math 4CATEGORIES= math
5MASTER_SITES= https://gforge.inria.fr/frs/download.php/file/38044/ 5MASTER_SITES= https://gforge.inria.fr/frs/download.php/file/38044/
6 6
7MAINTAINER= pkgsrc-users@NetBSD.org 7MAINTAINER= pkgsrc-users@NetBSD.org
8HOMEPAGE= http://gappa.gforge.inria.fr/ 8HOMEPAGE= http://gappa.gforge.inria.fr/
9COMMENT= Formal verification tool for numerical programs 9COMMENT= Formal verification tool for numerical programs
10LICENSE= cecill-2.0 OR gnu-gpl-v3 10LICENSE= cecill-2.0 OR gnu-gpl-v3
11 11
12GNU_CONFIGURE= yes 12GNU_CONFIGURE= yes
13USE_LANGUAGES+= c c++ 13USE_LANGUAGES+= c c++
14 14
 15FORCE_CXX_STD+= c++11
 16USE_CXX_FEATURES+= c++11
 17
15do-build: 18do-build:
16 cd ${WRKSRC} && ${PKGSRC_SETENV} ${MAKE_ENV} ./remake -j${_MAKE_JOBS_N} 19 cd ${WRKSRC} && ${PKGSRC_SETENV} ${MAKE_ENV} ./remake -j${_MAKE_JOBS_N}
17 20
18do-install: 21do-install:
19 cd ${WRKSRC} && \ 22 cd ${WRKSRC} && \
20 ${PKGSRC_SETENV} ${INSTALL_ENV} ${MAKE_ENV} \ 23 ${PKGSRC_SETENV} ${INSTALL_ENV} ${MAKE_ENV} \
21 ./remake ${MAKE_FLAGS} ${INSTALL_MAKE_FLAGS} install 24 ./remake ${MAKE_FLAGS} ${INSTALL_MAKE_FLAGS} install
22 25
23do-test: 26do-test:
24 cd ${WRKSRC} && \ 27 cd ${WRKSRC} && \
25 ${PKGSRC_SETENV} ${TEST_ENV} \ 28 ${PKGSRC_SETENV} ${TEST_ENV} \
26 ./remake ${MAKE_FLAGS} ${TEST_MAKE_FLAGS} check 29 ./remake ${MAKE_FLAGS} ${TEST_MAKE_FLAGS} check
27 30