Attempt to install on ubuntu 12.04 on intel x86_64 fails at the configure step.
On searching, I found some claims that it is because on the step,
configure:5905: checking for version 0.11 of
ISLit uses the value for the previous step, configure:5857: checking for version 0.10 of ISL and doesn't update the value. Though I thought that was fixed.
Any
suggestions? Thanks.
Rishi====
$
./../gcc-4.8.2/configure --prefix=/home/rishi/local
--with-gmp=/home/rishi/local --with-mpfr=/home/rishi/local
--with-mpc=/home/rishi/local --with-cloog=/home/rishi/local
--with-isl=/home/rishi/local
....checking for the correct version of gmp.h... yes
checking for the correct version of mpfr.h... yes
checking for the correct version of mpc.h... yes
checking for the correct version of the gmp/mpfr/mpc libraries... yes
checking for version 0.10 of ISL... no
checking for
version 0.11 of ISL... no
checking for version 0.12 of ISL... no
configure: error: Unable to find a usable ISL. See config.log for details.
I'm following the instructions given with the distribution. The versions used are,gmp-5.1.3/mpfr-3.1.2/mpc-1.0.1/isl-0.11.1/cloog-0.18.0/
cloog was configured using,./configure
--prefix=/home/rishi/local --with-bits=gmp
--with-gmp-prefix=/home/rishi/local --with-isl=system
--with-isl-prefix=/home/rishi/localas described in the instructions. All of them pass their corresponding make checks.
Here's the config.log.================This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
It was created by configure, which was
generated by GNU Autoconf 2.64. Invocation command line
was
$
/home/rishi/src/downloads/gcc-4.8.2/configure
--prefix=/home/rishi/local --with-gmp=/home/rishi/local
--with-mpfr=/home/rishi/local --with-mpc=/home/rishi/local
--with-cloog=/home/rishi/local --with-isl=/home/rishi/local
## --------- ##
## Platform. ##
## --------- ##
hostname = quark
uname -m = x86_64
uname -r = 3.2.0-52-generic
uname -s = Linux
uname -v = #78-Ubuntu SMP Fri Jul 26 16:21:44 UTC 2013
/usr/bin/uname -p = unknown
/bin/uname -X = unknown
/bin/arch = unknown
/usr/bin/arch -k = unknown
/usr/convex/getsysinfo = unknown
/usr/bin/hostinfo = unknown
/bin/machine = unknown
/usr/bin/oslevel =
unknown
/bin/universe = unknown
PATH: /home/rishi/local/bin
PATH: /home/rishi/local/bin
PATH: /usr/lib/lightdm/lightdm
PATH: /usr/local/sbin
PATH: /usr/local/bin
PATH: /usr/sbin
PATH: /usr/bin
PATH: /sbin
PATH: /binhecking for version 0.11 of ISL
PATH: /usr/games
## ----------- ##
## Core tests. ##
## ----------- ##
configure:2317: checking build system type
configure:2331: result: x86_64-unknown-linux-gnu
configure:2378: checking host system type
configure:2391: result: x86_64-unknown-linux-gnu
configure:2411: checking target system type
configure:2424: result: x86_64-unknown-linux-gnu
configure:2478: checking for a BSD-compatible install
configure:2546: result: /usr/bin/install -c
configure:2557: checking whether ln works
configure:2579: result: yes
configure:2583: checking whether ln -s
works
configure:2587: result: yes
configure:2594: checking for a sed that does not truncate output
configure:2658: result: /bin/sed
configure:2667: checking for gawk
configure:2683: found /usr/bin/gawk
configure:2694: result: gawk
configure:3164: checking for libatomic support
configure:3174: result: yes
configure:3183: checking for libitm support
configure:3193: result: yes
configure:3202: checking for libsanitizer support
configure:3212: result: yes
configure:3936: checking for gcc
configure:3952: found /usr/bin/gcc
configure:3963: result: gcc
configure:4192: checking for C compiler version
configure:4201: gcc --version >&5
gcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3
Copyright (C) 2011 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.
configure:4212: $? = 0
configure:4201: gcc -v >&5
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.6/lto-wrapper
Target: x86_64-linux-gnu
Configured
with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro
4.6.3-1ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.6/README.Bugs
--enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.6 --enable-shared --enable-linker-build-id
--with-system-zlib --libexecdir=/usr/lib --without-included-gettext
--enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.6
--libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--enable-gnu-unique-object --enable-plugin --enable-objc-gc
--disable-werror --with-arch-32=i686 --with-tune=generic
--enable-checking=release --build=x86_64-linux-gnu
--host=x86_64-linux-gnu
--target=x86_64-linux-gnu
Thread model: posix
gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5)
configure:4212: $? = 0
configure:4201: gcc -V >&5
gcc: error: unrecognized option '-V'
gcc: fatal error: no input files
compilation terminated.
configure:4212: $? = 4
configure:4201: gcc -qversion >&5
gcc: error: unrecognized option '-qversion'
gcc: fatal error: no input files
compilation terminated.
configure:4212: $? = 4
configure:4232: checking for C compiler default output file name
configure:4254: gcc conftest.c >&5
configure:4258: $? = 0
configure:4295: result: a.out
configure:4311: checking whether the C compiler works
configure:4320: ./a.out
configure:4324: $? = 0
configure:4339: result: yes
configure:4346: checking whether we are cross compiling
configure:4348: result: no
configure:4351: checking for suffix of
executables
configure:4358: gcc -o conftest conftest.c >&5
configure:4362: $? = 0
configure:4384: result:
configure:4390: checking for suffix of object files
configure:4412: gcc -c conftest.c >&5
configure:4416: $? = 0
configure:4437: result: o
configure:4441: checking whether we are using the GNU C compiler
configure:4460: gcc -c conftest.c >&5
configure:4460: $? = 0
configure:4469: result: yes
configure:4478: checking whether gcc accepts -g
configure:4498: gcc -c -g conftest.c >&5
configure:4498: $? = 0
configure:4539: result: yes
configure:4556: checking for gcc option to accept ISO C89
configure:4620: gcc -c -g -O2 conftest.c >&5
configure:4620: $? = 0
configure:4633: result: none needed
configure:4711: checking for g++
configure:4727: found /usr/bin/g++
configure:4738: result:
g++
configure:4765: checking for C++ compiler version
configure:4774: g++ --version >&5
g++ (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3
Copyright (C) 2011 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
configure:4785: $? = 0
configure:4774: g++ -v >&5
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.6/lto-wrapper
Target: x86_64-linux-gnu
Configured
with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro
4.6.3-1ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.6/README.Bugs
--enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.6 --enable-shared --enable-linker-build-id
--with-system-zlib --libexecdir=/usr/lib --without-included-gettext
--enable-threads=posix
--with-gxx-include-dir=/usr/include/c++/4.6 --libdir=/usr/lib
--enable-nls --with-sysroot=/ --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--enable-gnu-unique-object --enable-plugin --enable-objc-gc
--disable-werror --with-arch-32=i686 --with-tune=generic
--enable-checking=release --build=x86_64-linux-gnu
--host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5)
configure:4785: $? = 0
configure:4774: g++ -V >&5
g++: error: unrecognized option '-V'
g++: fatal error: no input files
compilation terminated.
configure:4785: $? = 4
configure:4774: g++ -qversion >&5
g++: error: unrecognized option '-qversion'
g++: fatal error: no input files
compilation terminated.
configure:4785: $? = 4
configure:4789: checking whether we are using the GNU C++ compiler
configure:4808: g++ -c conftest.cpp
>&5
configure:4808: $? = 0
configure:4817: result: yes
configure:4826: checking whether g++ accepts -g
configure:4846: g++ -c -g conftest.cpp >&5
configure:4846: $? = 0
configure:4887: result: yes
configure:4936: checking whether g++ accepts -static-libstdc++ -static-libgcc
configure:4953: g++ -o conftest -g -O2 -static-libstdc++ -static-libgcc conftest.cpp >&5
configure:4953: $? = 0
configure:4954: result: yes
configure:5018: checking for gnatbind
configure:5048: result: no
configure:5110: checking for gnatmake
configure:5140: result: no
configure:5159: checking whether compiler driver understands Ada
configure:5182: result: no
configure:5191: checking how to compare bootstrapped objects
configure:5216: result: cmp --ignore-initial=16 $$f1 $$f2
configure:5270: checking for objdir
configure:5285: result: .libs
configure:5459: checking for the
correct version of gmp.h
configure:5479: gcc -c -g -O2
-I/home/rishi/local/include -I/home/rishi/local/include
-I/home/rishi/local/include conftest.c >&5
configure:5479: $? = 0
configure:5497:
gcc -c -g -O2 -I/home/rishi/local/include -I/home/rishi/local/include
-I/home/rishi/local/include conftest.c >&5
configure:5497: $? = 0
configure:5498: result: yes
configure:5514: checking for the correct version of mpfr.h
configure:5532:
gcc -c -g -O2 -I/home/rishi/local/include -I/home/rishi/local/include
-I/home/rishi/local/include conftest.c >&5
configure:5532: $? = 0
configure:5549:
gcc -c -g -O2 -I/home/rishi/local/include -I/home/rishi/local/include
-I/home/rishi/local/include conftest.c >&5
configure:5549: $? = 0
configure:5550: result: yes
configure:5567: checking for the correct version of mpc.h
configure:5584: gcc -c -g -O2
-I/home/rishi/local/include -I/home/rishi/local/include -I/home/rishi/local/include conftest.c >&5
configure:5584: $? = 0
configure:5600:
gcc -c -g -O2 -I/home/rishi/local/include -I/home/rishi/local/include
-I/home/rishi/local/include conftest.c >&5
configure:5600: $? = 0
configure:5601: result: yes
configure:5619: checking for the correct version of the gmp/mpfr/mpc libraries
configure:5650:
gcc -o conftest -g -O2 -I/home/rishi/local/include
-I/home/rishi/local/include -I/home/rishi/local/include conftest.c
-L/home/rishi/local/lib -L/home/rishi/local/lib -L/home/rishi/local/lib
-lmpc -lmpfr -lgmp >&5
configure:5650: $? = 0
configure:5651: result: yes
configure:5857: checking for version 0.10 of ISL
configure:5876: gcc -o conftest -g -O2 -I/home/rishi/local/include -I/home/rishi/local/include -I/home/rishi/local/include
-I/home/rishi/local/include -L/home/rishi/local/lib conftest.c -lisl >&5
configure:5876: $? = 0
configure:5876: ./conftest
./conftest: error while loading shared libraries: libisl.so.10: cannot open shared object file: No such file or directory
configure:5876: $? = 127
configure: program exited with status 127
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <isl/version.h>
| #include <string.h>
| int
| main ()
| {
| if (strncmp (isl_version (), "isl-0.10", strlen ("isl-0.10")) != 0)
| return 1;
|
| ;
| return 0;
|
}
configure:5885: result: no
configure:5905: checking for version 0.11 of ISL
configure:5924:
gcc -o conftest -g -O2 -I/home/rishi/local/include
-I/home/rishi/local/include -I/home/rishi/local/include
-I/home/rishi/local/include -L/home/rishi/local/lib conftest.c -lisl
>&5
configure:5924: $? = 0
configure:5924: ./conftest
./conftest: error while loading shared libraries: libisl.so.10: cannot open shared object file: No such file or directory
configure:5924: $? = 127
configure: program exited with status 127
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <isl/version.h>
| #include <string.h>
|
int
| main ()
| {
| if (strncmp (isl_version (), "isl-0.11", strlen ("isl-0.11")) != 0)
| return 1;
|
| ;
| return 0;
| }
configure:5933: result: no
configure:5953: checking for version 0.12 of ISL
configure:5972:
gcc -o conftest -g -O2 -I/home/rishi/local/include
-I/home/rishi/local/include -I/home/rishi/local/include
-I/home/rishi/local/include -L/home/rishi/local/lib conftest.c -lisl
>&5
configure:5972: $? = 0
configure:5972: ./conftest
./conftest: error while loading shared libraries: libisl.so.10: cannot open shared object file: No such file or directory
configure:5972: $? = 127
configure: program exited with status 127
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define
PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <isl/version.h>
| #include <string.h>
| int
| main ()
| {
| if (strncmp (isl_version (), "isl-0.12", strlen ("isl-0.12")) != 0)
| return 1;
|
| ;
| return 0;
| }
configure:5981: result: no
configure:6017: error: Unable to find a usable ISL. See config.log for details.
## ---------------- ##
## Cache variables. ##
## ---------------- ##
ac_cv_build=x86_64-unknown-linux-gnu......gcc-help@xxxxxxxxxxx..
## ----------- ##
## confdefs.h. ##
## ----------- ##
/* confdefs.h */
#define PACKAGE_NAME ""
#define PACKAGE_TARNAME ""
#define PACKAGE_VERSION ""
#define PACKAGE_STRING ""
#define PACKAGE_BUGREPORT ""
#define PACKAGE_URL ""
#define LT_OBJDIR ".libs/"
configure: exit 1
