scripts/check-compilers
changeset 2248 1ac928089d68
parent 2007 a9959afc29a3
child 2279 2c3fee01d3ed
equal deleted inserted replaced
4:8b336ef258b9 5:61cc2840068e
    56 
    56 
    57 # ODIR=icc-8.0 CXX=icpc-8.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    57 # ODIR=icc-8.0 CXX=icpc-8.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    58 
    58 
    59 ODIR=icc-9.0 CXX=icpc-9.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    59 ODIR=icc-9.0 CXX=icpc-9.0 CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark
    60 
    60 
       
    61 ODIR=mingw makecheck --with-msw --target=i586-mingw32msvc --host=i586-mingw32msvc --build=i386-linux --without-glpk
       
    62 
       
    63 
       
    64 
       
    65 
    61 echo
    66 echo
    62 echo '**********************************************************************'
    67 echo '**********************************************************************'
    63 echo '   REPOSITORY SEEMS OK'
    68 echo '   REPOSITORY SEEMS OK'
    64 echo '**********************************************************************'
    69 echo '**********************************************************************'
    65 echo
    70 echo