@@ -15484,7 +15484,7 @@ fi
if test -d /usr/local/include/gecode; then
CFLAGS="$CFLAGS -I/usr/local/include"
SHLIB_CXXFLAGS="$SHLIB_CXXFLAGS -I/usr/local/include"
SHLIB_CXX_FLAGS="$SHLIB_CXX_FLAGS -I/usr/local/include"
GECODE_EXTRALIBS="-L/usr/local/lib"
fi
The note is not visible to the blocked user.