This commit is contained in:
Maxime Gimeno
2018-02-02 12:08:05 +01:00
parent 74610660e7
commit fc5ba1b68e
5 changed files with 27 additions and 31 deletions
@@ -20,7 +20,7 @@ done
CGAL_ROOT=$PWD
mkdir -p dep_check_build && cd dep_check_build
for pkg in ../*
for pkg in $CGAL_ROOT/*
do
if [ -f $pkg/dependencies ]; then
mv $pkg/dependencies $pkg/dependencies.old
@@ -30,14 +30,16 @@ done
cmake -DCGAL_ENABLE_CHECK_HEADERS=TRUE -DDOXYGEN_EXECUTABLE="$DOX_PATH" -DCGAL_COPY_DEPENDENCIES=TRUE -DCMAKE_CXX_FLAGS="-std=c++11" ..
make -j$(nproc --all) check_headers
echo " Checks finished"
for pkg in ../*
for pkg in $CGAL_ROOT/*
do
if [ -f $pkg/dependencies ]; then
PKG_DIFF=$(diff -N -w $pkg/dependencies $pkg/dependencies.old)
if [ -f "$pkg/dependencies" ]; then
PKG_DIFF=$(diff -N -w "$pkg/dependencies" "$pkg/dependencies.old")
if [ -n "$PKG_DIFF" ]; then
HAS_DIFF=TRUE
echo "Differences in $pkg: $PKG_DIFF"
fi
else
echo "No differencies in $pkg dependencies."
fi
if [ -f $pkg/dependencies.old ]; then
rm $pkg/dependencies.old
fi