October 2020 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(devel): Use AC_LINK_IFELSE instead of deprecated AC_TRY_LINK.
by Roberto Bagnara 16 Oct '20

16 Oct '20

Module: ppl/ppl Branch: devel Commit: a69a1f6469355b66af9bf10536dc79af647020a6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a69a1f646935… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Oct 16 10:13:12 2020 +0200 Use AC_LINK_IFELSE instead of deprecated AC_TRY_LINK. --- m4/ppl.m4 | 8 ++++---- m4/ppl_c.m4 | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/m4/ppl.m4 b/m4/ppl.m4 index 2b1d7a0e9..31476c286 100644 --- a/m4/ppl.m4 +++ b/m4/ppl.m4 @@ -247,14 +247,14 @@ else echo "*** Could not run PPL test program, checking why..." CPPFLAGS="$CPPFLAGS $PPL_CPPFLAGS" LDFLAGS="$LDFLAGS $PPL_LDFLAGS" - AC_TRY_LINK([ + AC_LINK_IFELSE([AC_LANG_PROGRAM([[ #include <ppl.hh> using namespace Parma_Polyhedra_Library; -], -[ +]], +[[ return version_major() || version_minor() || version_revision() || version_beta(); -], +]])], [ echo "*** The test program compiled, but did not run. This usually means" echo "*** that the run-time linker is not finding the PPL or finding the" diff --git a/m4/ppl_c.m4 b/m4/ppl_c.m4 index 968c0cab0..3daa71ee5 100644 --- a/m4/ppl_c.m4 +++ b/m4/ppl_c.m4 @@ -246,13 +246,13 @@ else echo "*** Could not run PPL test program, checking why..." CPPFLAGS="$CPPFLAGS $PPL_CPPFLAGS" LDFLAGS="$LDFLAGS $PPL_LDFLAGS" - AC_TRY_LINK([ + AC_LINK_IFELSE([AC_LANG_PROGRAM([[ #include <ppl_c.h> -], -[ +]], +[[ return ppl_version_major() || ppl_version_minor() || ppl_version_revision() || ppl_version_beta(); -], +]])], [ echo "*** The test program compiled, but did not run. This usually means" echo "*** that the run-time linker is not finding the PPL or finding the"

1 0

[GIT] ppl/ppl(devel): Further adaptation.
by Roberto Bagnara 09 Oct '20

09 Oct '20

Module: ppl/ppl Branch: devel Commit: 733b88010c29400a44b4b85388dd0da82f61355b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=733b88010c29… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Oct 9 19:15:11 2020 +0200 Further adaptation. --- ECLAIR/analyze.sh.in | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/ECLAIR/analyze.sh.in b/ECLAIR/analyze.sh.in index 803a97e41..e09858dd6 100644 --- a/ECLAIR/analyze.sh.in +++ b/ECLAIR/analyze.sh.in @@ -35,9 +35,10 @@ export ECLAIR_PROJECT_ROOT="@abs_top_srcdir@" export ECLAIR_OUTPUT_DIR="${HERE}/out" export ECLAIR_DATA_DIR="${ECLAIR_OUTPUT_DIR}/.data" export PROJECT_ECD="${ECLAIR_OUTPUT_DIR}/PROJECT.ecd" -rm -rf "$ECLAIR_OUTPUT_DIR" -mkdir -p "$ECLAIR_DATA_DIR" -export ECLAIR_DIAGNOSTICS_OUTPUT="$ECLAIR_OUTPUT_DIR/DIAGNOSTICS.txt" +export JENKINS_XML="${HERE}/jenkins.xml" +rm -rf "${ECLAIR_OUTPUT_DIR}" +mkdir -p "${ECLAIR_DATA_DIR}" +export ECLAIR_DIAGNOSTICS_OUTPUT="${ECLAIR_OUTPUT_DIR}/DIAGNOSTICS.txt" ( cd "@abs_top_builddir@" @@ -57,5 +58,7 @@ fi -- make -j${PROCESSORS} ) -eclair_report "-create_db='$PROJECT_ECD'" "$ECLAIR_DATA_DIR"/FRAME.*.ecb \ +eclair_report "-create_db='${PROJECT_ECD}'" "${ECLAIR_DATA_DIR}"/FRAME.*.ecb \ -load + +eclair_report "-db='${PROJECT_ECD}'" "-reports_jenkins='${JENKINS_XML}'"

1 0

[GIT] ppl/ppl(devel): Adapted to new ECLAIR Jenkins plugin.
by Roberto Bagnara 09 Oct '20

09 Oct '20

Module: ppl/ppl Branch: devel Commit: 8da42af54577b828f803f0cd84b216cbb558f588 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8da42af54577… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Oct 9 17:39:33 2020 +0200 Adapted to new ECLAIR Jenkins plugin. --- ECLAIR/analyze.sh.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/ECLAIR/analyze.sh.in b/ECLAIR/analyze.sh.in index 3f62ed47c..803a97e41 100644 --- a/ECLAIR/analyze.sh.in +++ b/ECLAIR/analyze.sh.in @@ -32,9 +32,9 @@ export CXX_ALIASES="@CXX@" export ECLAIR_PROJECT_NAME="PPL" export ECLAIR_PROJECT_ROOT="@abs_top_srcdir@" -export ECLAIR_OUTPUT_DIR="${HERE}/out_${BUILD_ID}_${ANALYSIS}" +export ECLAIR_OUTPUT_DIR="${HERE}/out" export ECLAIR_DATA_DIR="${ECLAIR_OUTPUT_DIR}/.data" -export PROJECT_ECD="${ECLAIR_DATA_DIR}/PROJECT.ecd" +export PROJECT_ECD="${ECLAIR_OUTPUT_DIR}/PROJECT.ecd" rm -rf "$ECLAIR_OUTPUT_DIR" mkdir -p "$ECLAIR_DATA_DIR" export ECLAIR_DIAGNOSTICS_OUTPUT="$ECLAIR_OUTPUT_DIR/DIAGNOSTICS.txt" @@ -58,4 +58,4 @@ fi ) eclair_report "-create_db='$PROJECT_ECD'" "$ECLAIR_DATA_DIR"/FRAME.*.ecb \ - -load -reports1_txt=service,analysis.log + -load

1 0