Re: [Oklibrary-developers] Building local GCC

[Matthew H. <Mat...@be...>]

Hi,

Thanks for the response.
> Are you using the OKlibrary build mechanism?
>   
Yes. The output in my original message came from issuing 'oklib gcc' in 
ExternalSources.

The 'oklib' command on my machine points to the correct binary:

matthew@artin:~/OKplatform/ExternalSources$ which oklib
/home/matthew/OKplatform/bin/oklib

> And if, which package?
>   
The latest 'full' package:

OKlibrary-0.2.1.2_00120-full.tar.bz2

> Such problems should be solved by our buildsystem, and
> the (corrected!) gcc-4.1.2-package which comes with
> the package.
>   
I presume that the gcc-4.1.2 package which comes with the full OKlibrary 
package is the corrected one?

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. Is there some method to ask the 
buildsystem to use my system-wide installation of GCC?

Thanks,
Matthew