Re: [Oklibrary-developers] Building local GCC
Research platform for SAT and other hard problems
Status: Pre-Alpha
Brought to you by:
xgateruq9
|
From: Matthew H. <Mat...@be...> - 2009-10-26 21:37:06
|
Hi,
>> I really just want to install OKlibrary's Maxima at present. Do I really
>> need to install GCC first? With 'oklib allmaxima' it seems that the
>> buildsystem first tries to install GCC.
>>
>
>
> not at all! I guess you mean "oklib all" ?
> As you can see, looking into the makefile
> OKplatform/OKsystem/OKlib/Buildsystem/ExternalSources/Makefile
> "all" first creates all compilers, but as you can see in
> OKplatform/OKsystem/OKlib/Buildsystem/ExternalSources/SpecialBuilds/maxima.mak
> "allmaxima" means ecl gnuplot maxima.
>
>
I really did mean 'oklib allmaxima' but I was slightly mistaken about
the nature of the problem. The buildsystem doesn't try to install GCC,
like I said. Rather, the installation of ECL expects GCC to be already
installed. So, it seems that GCC really should be a dependency of ECL?
matthew@artin:~/OKplatform/ExternalSources$ oklib allmaxima
make
--makefile=/home/matthew/OKplatform/.oklib/Configuration/../ExternalSources/Makefile
--directory=/home/matthew/OKplatform/ExternalSources
OKplatform=/home/matthew/OKplatform allmaxima
oklib: /home/matthew/OKplatform/.oklib/log/ExternalSources contains all
output of the build.
make: Entering directory `/home/matthew/OKplatform/ExternalSources'
mkdir -p /home/matthew/OKplatform/ExternalSources/Installations/Ecl
mkdir -p /home/matthew/OKplatform/ExternalSources/builds/Ecl
mkdir -p /home/matthew/OKplatform/ExternalSources/doc/Ecl
mkdir -p /home/matthew/OKplatform/ExternalSources/doc/Ecl/9.10.2
if [ -f
/home/matthew/OKplatform/ExternalSources/sources/Ecl/ecl-9.10.2.tar.gz
]; then tar --extract
--directory=/home/matthew/OKplatform/ExternalSources/builds/Ecl
--file=/home/matthew/OKplatform/ExternalSources/sources/Ecl/ecl-9.10.2.tar.gz
--ungzip; elif [ -f
/home/matthew/OKplatform/ExternalSources/sources/Ecl/ecl-9.10.2.tgz ];
then tar --extract
--directory=/home/matthew/OKplatform/ExternalSources/builds/Ecl
--file=/home/matthew/OKplatform/ExternalSources/sources/Ecl/ecl-9.10.2.tgz
--ungzip; elif [ -f
/home/matthew/OKplatform/ExternalSources/sources/Ecl/ecl-9.10.2.tar.bz2
]; then tar --extract
--directory=/home/matthew/OKplatform/ExternalSources/builds/Ecl
--file=/home/matthew/OKplatform/ExternalSources/sources/Ecl/ecl-9.10.2.tar.bz2
--bzip2; else exit 1; fi;
cd /home/matthew/OKplatform/ExternalSources/builds/Ecl/ecl-9.10.2; if [
$? != 0 ]; then exit 1; fi; \
LDFLAGS=-Wl,-rpath=/home/matthew/OKplatform/ExternalSources/Installations/Ecl/9.10.2/lib
./configure
--prefix=/home/matthew/OKplatform/ExternalSources/Installations/Ecl/9.10.2
--with-gmp-prefix=/home/matthew/OKplatform/ExternalSources/Installations/Gmp/4.1.2/4.3.1
CC=/home/matthew/OKplatform/ExternalSources/Installations/Gcc/4.1.2/bin/gcc
CXX=/home/matthew/OKplatform/ExternalSources/Installations/Gcc/4.1.2/bin/g++;
if [ $? != 0 ]; then exit 1; fi; \
make; if [ $? != 0 ]; then exit 1; fi; \
make install; if [ $? != 0 ]; then exit 1; fi;
Creating directory `build'
Switching to directory `build' to continue configuration.
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking for gcc...
/home/matthew/OKplatform/ExternalSources/Installations/Gcc/4.1.2/bin/gcc
checking for C compiler default output file name...
configure: error: in
`/home/matthew/OKplatform/ExternalSources/builds/Ecl/ecl-9.10.2/build':
configure: error: C compiler cannot create executables
See `config.log' for more details.
make: *** [ecl_core] Error 1
make: Leaving directory `/home/matthew/OKplatform/ExternalSources'
ERROR[oklib]: The external sources build-process returned a value
different from zero: 2
Regards,
Matthew
|