alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* m4/valgrind.m4: New file.

Browse source 
* configure.ac: Use it.
This commit is contained in:
Alexandre Duret-Lutz 2007-11-22 15:28:34 +00:00
parent ec6bca7992
commit 3d01dd2eef
3 changed files with 39 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2007-11-22 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* m4/valgrind.m4: New file.
* configure.ac: Use it.
2007-10-05 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* wrap/python/cgi/ltl2tgba.in: Adjust to newer versions of swig.

2
configure.ac
View file

@ -63,7 +63,7 @@ AC_CHECK_PROG([MODELLA], [modella], [modella])
AC_CHECK_PROG([LTL2NBA], [script4lbtt.py], [script4lbtt.py])
AC_CHECK_PROG([PERL], [perl], [perl])
AC_CHECK_PROG([SPIN], [spin], [spin])
AC_CHECK_PROG([VALGRIND], [valgrind], [valgrind])
AX_CHECK_VALGRIND
AC_CHECK_PROG([WRING2LBTT], [wring2lbtt], [wring2lbtt])
AC_CONFIG_FILES([

33
m4/valgrind.m4 Normal file
View file

@ -0,0 +1,33 @@
# _AX_CHECK_VALGRIND_SANITY(IF-SANE, IF-NOT)
# ------------------------------------------
# Some installations of valgrind emit spurious warnings in ld.so or
# other standard libraries. We cannot rely on these during "make check".
# We check that by running valgrind on "ls".
AC_DEFUN([_AX_CHECK_VALGRIND_SANITY],
[
if (exec 8>valgrind.err
exitcode=0
$VALGRIND --tool=memcheck --leak-check=yes --log-fd=8 -q ls >/dev/null ||
exitcode=$?
test -z "`sed 1q valgrind.err`" || exitcode=50
rm -f valgrind.err
exit $exitcode
); then
$1;
else
$2;
fi
])
AC_DEFUN([AX_CHECK_VALGRIND], [
AC_CHECK_PROG([VALGRIND], [valgrind], [valgrind])
if test -n "$VALGRIND"; then
AC_CACHE_CHECK([wether valgrind is sane],
[ax_cv_valgrind_sanity],
[_AX_CHECK_VALGRIND_SANITY([ax_cv_valgrind_sanity=yes],
[ax_cv_valgrind_sanity=no])])
if test x"$ax_cv_valgrind_sanity" = xno; then
VALGRIND=
fi
fi
])