equal
deleted
inserted
replaced
9 } |
9 } |
10 |
10 |
11 make-dir check-compilers-dir |
11 make-dir check-compilers-dir |
12 cd check-compilers-dir |
12 cd check-compilers-dir |
13 |
13 |
14 svn co https://hugo.cs.elte.hu/svn/hugo/trunk |
14 svn co https://hugo.cs.elte.hu/svn/hugo/trunk || |
|
15 (echo '*************************************************************'; |
|
16 echo ' REPOSITORY CANNOT BE UPDATED' |
|
17 echo '*************************************************************') |
|
18 |
15 |
19 |
16 VERSION=r`svn info trunk|grep 'Revision:'|cut -d ' ' -f 2` |
20 VERSION=r`svn info trunk|grep 'Revision:'|cut -d ' ' -f 2` |
17 NAME=lemon |
21 NAME=lemon |
18 DISTNAME=${NAME}-$VERSION |
22 DISTNAME=${NAME}-$VERSION |
19 TARNAME=${DISTNAME}.tar.gz |
23 TARNAME=${DISTNAME}.tar.gz |
46 |
50 |
47 ODIR=gcc-3.4 CXX=g++-3.4 CXXFLAGS='-W -Wall -Werror' makecheck --enable-gui --enable-demo --enable-benchmark |
51 ODIR=gcc-3.4 CXX=g++-3.4 CXXFLAGS='-W -Wall -Werror' makecheck --enable-gui --enable-demo --enable-benchmark |
48 |
52 |
49 ODIR=gcc-4.0 CXX=g++-4.0 CXXFLAGS='-W -Wall -Werror' makecheck --enable-gui --enable-demo --enable-benchmark |
53 ODIR=gcc-4.0 CXX=g++-4.0 CXXFLAGS='-W -Wall -Werror' makecheck --enable-gui --enable-demo --enable-benchmark |
50 |
54 |
|
55 # ODIR=icc-8.0 CXX=/opt/intel/cc/8.0/bin/icpc CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark |
|
56 |
51 ODIR=icc-9.0 CXX=/opt/intel/cc/9.0/bin/icpc CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark |
57 ODIR=icc-9.0 CXX=/opt/intel/cc/9.0/bin/icpc CXXFLAGS='-Werror' makecheck --enable-gui --enable-demo --enable-benchmark |
52 |
|
53 echo |
58 echo |
54 echo '**********************************************************************' |
59 echo '**********************************************************************' |
55 echo ' REPOSITORY SEEMS OK' |
60 echo ' REPOSITORY SEEMS OK' |
56 echo '**********************************************************************' |
61 echo '**********************************************************************' |
57 echo |
62 echo |