Re: [Oklibrary-developers] Building local GCC
Research platform for SAT and other hard problems
Status: Pre-Alpha
Brought to you by:
xgateruq9
|
From: Oliver K. <O.K...@sw...> - 2009-10-23 18:45:46
|
On Fri, Oct 23, 2009 at 09:45:46AM -0400, Matthew Henderson wrote: > 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? > yes. > 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. > Is there some method to ask the > buildsystem to use my system-wide installation of GCC? > There is a good chance that this wouldn't work; so where gcc is needed, there we rely on the local installation. Oliver > Thanks, > Matthew > > ------------------------------------------------------------------------------ > Come build with us! The BlackBerry(R) Developer Conference in SF, CA > is the only developer event you need to attend this year. Jumpstart your > developing skills, take BlackBerry mobile applications to market and stay > ahead of the curve. Join us from November 9 - 12, 2009. Register now! > http://p.sf.net/sfu/devconference > _______________________________________________ > Oklibrary-developers mailing list > Okl...@li... > https://lists.sourceforge.net/lists/listinfo/oklibrary-developers -- Dr. Oliver Kullmann Computer Science Department Swansea University Faraday Building, Singleton Park Swansea SA2 8PP, UK http://cs.swan.ac.uk/~csoliver/ |