spielwiese
Last change
on this file since 3c1ec0 was
3c1ec0,
checked in by Hans Schönemann <hannes@…>, 19 years ago
|
*hannes: typo
git-svn-id: file:///usr/local/Singular/svn/trunk@7411 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100755
|
File size:
1.1 KB
|
Line | |
---|
1 | #!/bin/sh |
---|
2 | for i in $* |
---|
3 | do |
---|
4 | case $i in |
---|
5 | --prefix=*) prefix=`echo $i|sed 's/--prefix=//'` ;; |
---|
6 | --libdir=*) libdir=`echo $i|sed 's/--libdir=//'` ;; |
---|
7 | --includedir=*) includedir=`echo $i|sed 's/--includedir=//'` ;; |
---|
8 | esac |
---|
9 | done |
---|
10 | |
---|
11 | if test -r ../config.cache; then |
---|
12 | . ../config.cache |
---|
13 | fi |
---|
14 | |
---|
15 | if test set${ac_cv_singuname} = set; then |
---|
16 | : |
---|
17 | else |
---|
18 | ac_cv_singuname="unknown" |
---|
19 | if test -r "../singuname.sh"; then |
---|
20 | if (/bin/sh ../singuname.sh >/dev/null 2>&1) then |
---|
21 | ac_cv_singuname=`/bin/sh ../singuname.sh` |
---|
22 | fi |
---|
23 | fi |
---|
24 | fi |
---|
25 | |
---|
26 | if test x$SING_CC = x |
---|
27 | then |
---|
28 | SING_CC=gcc |
---|
29 | fi |
---|
30 | |
---|
31 | if test x$SING_CXX = x |
---|
32 | then |
---|
33 | SING_CXX=g++ |
---|
34 | fi |
---|
35 | |
---|
36 | if test x$CFLAGS = x |
---|
37 | then |
---|
38 | CFLAGS="-O3 -fomit-frame-pointer" |
---|
39 | fi |
---|
40 | |
---|
41 | if test x$CXXFLAGS = x |
---|
42 | then |
---|
43 | CXXFLAGS="-O3 -fomit-frame-pointer -fno-rtti -fno-exceptions" |
---|
44 | fi |
---|
45 | |
---|
46 | echo "#!/bin/sh" >config.status |
---|
47 | echo "cd src" >>config.status |
---|
48 | echo ./configure CC=\"$SING_CC\" CXX=\"$SING_CXX\" LIBDIR=$libdir INCLUDEDIR=$includedir PREFIX=$prefix NTL_GMP_LIP=on GMP_PREFIX=$prefix/${ac_cv_singuname} CFLAGS=\"$CFLAGS\" CXXFLAGS=\"$CXXFLAGS\" >>config.status |
---|
49 | echo "cd .." >>config.status |
---|
50 | |
---|
51 | chmod +rx config.status |
---|
52 | |
---|
53 | . ./config.status |
---|
54 | |
---|
Note: See
TracBrowser
for help on using the repository browser.