Check Soplex support, as well
authoralpar
Fri, 16 Feb 2007 15:57:48 +0000
changeset 2365751a14b992f2
parent 2364 3a5e67bd42d2
child 2366 bfbdded3763a
Check Soplex support, as well
scripts/server-services/repocheck/commit-checker
     1.1 --- a/scripts/server-services/repocheck/commit-checker	Thu Feb 15 19:15:14 2007 +0000
     1.2 +++ b/scripts/server-services/repocheck/commit-checker	Fri Feb 16 15:57:48 2007 +0000
     1.3 @@ -41,10 +41,10 @@
     1.4  cd trunk &&
     1.5  autoreconf -vi &&
     1.6  cd .. &&
     1.7 -ODIR=gcc-3.3 CXX=g++-3.3 CXXFLAGS='-W -Wall -Werror' makecheck --enable-demo --enable-benchmark &&
     1.8 -ODIR=gcc-3.4 CXX=g++-3.4 CXXFLAGS='-W -Wall -Werror' makecheck --enable-demo --enable-benchmark &&
     1.9 -ODIR=gcc-4.0 CXX=g++-4.0 CXXFLAGS='-W -Wall -Werror' makecheck --enable-demo --enable-benchmark &&
    1.10 -ODIR=gcc-4.1 CXX=g++-4.1 CXXFLAGS='-W -Wall -Werror' makecheck --enable-demo --enable-benchmark &&
    1.11 +ODIR=gcc-3.3 CXX=g++-3.3 CXXFLAGS='-W -Wall -Werror' makecheck --enable-demo --enable-benchmark --with-soplex=/usr/local/soplex &&
    1.12 +ODIR=gcc-3.4 CXX=g++-3.4 CXXFLAGS='-W -Wall -Werror' makecheck --enable-demo --enable-benchmark --with-soplex=/usr/local/soplex &&
    1.13 +ODIR=gcc-4.0 CXX=g++-4.0 CXXFLAGS='-W -Wall -Werror' makecheck --enable-demo --enable-benchmark --with-soplex=/usr/local/soplex &&
    1.14 +ODIR=gcc-4.1 CXX=g++-4.1 CXXFLAGS='-W -Wall -Werror' makecheck --enable-demo --enable-benchmark --with-soplex=/usr/local/soplex &&
    1.15  # # ODIR=icc-8.0 CXX=icpc-8.0 CXXFLAGS='-Werror' makecheck --enable-demo --enable-benchmark &&
    1.16  # ODIR=icc-9.0 CXX='icpc-9.0' CXXFLAGS='-Werror' makecheck --enable-demo --enable-benchmark &&
    1.17  # ODIR=mingw CXX='g++' makecheck --with-msw --target=i586-mingw32msvc --host=i586-mingw32msvc --build=i386-linux --without-glpk &&