* Gcc 4.9.4 cannot find Isl 0.12.2 (or 0.14)
@ 2020-10-27 4:26 Maria Clara
2020-10-27 6:51 ` Marc Glisse
0 siblings, 1 reply; 3+ messages in thread
From: Maria Clara @ 2020-10-27 4:26 UTC (permalink / raw)
To: gcc-help
Hello. I am trying to configure gcc with:
./configure --prefix=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/GCC-4.94/
--with-gmp=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Gmp-4.3.2/
--with-mpfr=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpfr-2.4.2/
--with-mpc=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpc-0.8.1/
--with-cloog=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Cloog-0.18.1/
--with-isl=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Isl-0.12.2/
and all I receive it is:
checking for version 0.10 of ISL... no
checking for version 0.11 of ISL... no
checking for version 0.12 of ISL... no
checking for version 0.14 of ISL... no
checking for version 0.15 of ISL... no
configure: error: Unable to find a usable ISL. See config.log for details.
Then I proceeded to look in config.log. There I saw things like:
configure:5894: checking for version 0.10 of ISL
configure:5913: gcc -o conftest -g -O2
-I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Isl-0.12.2//include
-I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Gmp-4.3.2//include
-I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpfr-2.4.2//include
-I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpc-0.8.1//include
-L/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Isl-0.12.2//lib
conftest.c -lisl >&5
configure:5913: $? = 0
configure:5913: ./conftest
./conftest: error while loading shared libraries: libisl.so.10: cannot
open shared object file: No such file or directory
configure:5913: $? = 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:5922: result: no
similar stuff happened with the test to versions 0.11-0.15 of ISL.
I also tried with Isl 0.14 instead of 0.12.2 and the results were similar.
So what's going on here?
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Gcc 4.9.4 cannot find Isl 0.12.2 (or 0.14)
2020-10-27 4:26 Gcc 4.9.4 cannot find Isl 0.12.2 (or 0.14) Maria Clara
@ 2020-10-27 6:51 ` Marc Glisse
2020-10-27 13:42 ` Jonathan Wakely
0 siblings, 1 reply; 3+ messages in thread
From: Marc Glisse @ 2020-10-27 6:51 UTC (permalink / raw)
To: Maria Clara; +Cc: gcc-help
On Tue, 27 Oct 2020, Maria Clara via Gcc-help wrote:
> Hello. I am trying to configure gcc with:
>
> ./configure --prefix=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/GCC-4.94/
> --with-gmp=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Gmp-4.3.2/
> --with-mpfr=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpfr-2.4.2/
> --with-mpc=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpc-0.8.1/
> --with-cloog=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Cloog-0.18.1/
> --with-isl=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Isl-0.12.2/
>
> and all I receive it is:
>
> checking for version 0.10 of ISL... no
> checking for version 0.11 of ISL... no
> checking for version 0.12 of ISL... no
> checking for version 0.14 of ISL... no
> checking for version 0.15 of ISL... no
> configure: error: Unable to find a usable ISL. See config.log for details.
>
> Then I proceeded to look in config.log. There I saw things like:
>
> configure:5894: checking for version 0.10 of ISL
> configure:5913: gcc -o conftest -g -O2
> -I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Isl-0.12.2//include
> -I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Gmp-4.3.2//include
> -I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpfr-2.4.2//include
> -I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpc-0.8.1//include
> -L/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Isl-0.12.2//lib
> conftest.c -lisl >&5
> configure:5913: $? = 0
> configure:5913: ./conftest
> ./conftest: error while loading shared libraries: libisl.so.10: cannot
> open shared object file: No such file or directory
[...]
See the first 2 questions of https://gcc.gnu.org/wiki/FAQ . Gcc does not
set a runpath, so you need to add one yourself (LD_LIBRARY_PATH, or
-Wl,-rpath,... I don't know where, possibly LDFLAGS, *_LDFLAGS,
LD_RUN_PATH, etc) or make sure one is not needed (install the shared
libraries in a standard location or use static libraries, as happens with
contrib/download_prerequisites).
--
Marc Glisse
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Gcc 4.9.4 cannot find Isl 0.12.2 (or 0.14)
2020-10-27 6:51 ` Marc Glisse
@ 2020-10-27 13:42 ` Jonathan Wakely
0 siblings, 0 replies; 3+ messages in thread
From: Jonathan Wakely @ 2020-10-27 13:42 UTC (permalink / raw)
To: gcc-help; +Cc: Maria Clara
On Tue, 27 Oct 2020 at 06:53, Marc Glisse <marc.glisse@inria.fr> wrote:
>
> On Tue, 27 Oct 2020, Maria Clara via Gcc-help wrote:
>
> > Hello. I am trying to configure gcc with:
> >
> > ./configure --prefix=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/GCC-4.94/
> > --with-gmp=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Gmp-4.3.2/
> > --with-mpfr=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpfr-2.4.2/
> > --with-mpc=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpc-0.8.1/
> > --with-cloog=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Cloog-0.18.1/
> > --with-isl=/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Isl-0.12.2/
> >
> > and all I receive it is:
> >
> > checking for version 0.10 of ISL... no
> > checking for version 0.11 of ISL... no
> > checking for version 0.12 of ISL... no
> > checking for version 0.14 of ISL... no
> > checking for version 0.15 of ISL... no
> > configure: error: Unable to find a usable ISL. See config.log for details.
> >
> > Then I proceeded to look in config.log. There I saw things like:
> >
> > configure:5894: checking for version 0.10 of ISL
> > configure:5913: gcc -o conftest -g -O2
> > -I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Isl-0.12.2//include
> > -I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Gmp-4.3.2//include
> > -I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpfr-2.4.2//include
> > -I/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Mpc-0.8.1//include
> > -L/media/34GB/Arquivos-de-Programas-Linux/Gcc-4.9.4/Isl-0.12.2//lib
> > conftest.c -lisl >&5
> > configure:5913: $? = 0
> > configure:5913: ./conftest
> > ./conftest: error while loading shared libraries: libisl.so.10: cannot
> > open shared object file: No such file or directory
> [...]
>
> See the first 2 questions of https://gcc.gnu.org/wiki/FAQ . Gcc does not
> set a runpath, so you need to add one yourself (LD_LIBRARY_PATH, or
> -Wl,-rpath,... I don't know where, possibly LDFLAGS, *_LDFLAGS,
> LD_RUN_PATH, etc) or make sure one is not needed (install the shared
> libraries in a standard location or use static libraries, as happens with
> contrib/download_prerequisites).
See also https://gcc.gnu.org/wiki/InstallingGCC
You probably don't need to use ISL and Cloog anyway, the Graphite
optimizations are optional, and not very useful.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2020-10-27 13:42 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-10-27 4:26 Gcc 4.9.4 cannot find Isl 0.12.2 (or 0.14) Maria Clara
2020-10-27 6:51 ` Marc Glisse
2020-10-27 13:42 ` Jonathan Wakely
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).