David, On 16 Dec 2014, at 16:25, David Topham <[email protected]> wrote:
> Thanks for helping Rob, TinyCore does have uname, and that command returns > "Linux". > > It uses BusyBox for shell commands and a subset of dd is supported which does > not have the lcase option! > Ah! I try to make the ProofPower build process only use POSIX features of the usual UN*X utilities. BusyBox’s dd is not POSIX-compliant if it doesn’t support conv=lcase. xpp.mkf is the only ProofPower make file that needs this trick, so if you just edit it to say OS=linux you should be able to make more progress. I will be interested to hear how you get on. Regards, Rob. > (see attached) > > -Dave > > On Tue, Dec 16, 2014 at 2:02 AM, Rob Arthan <[email protected]> wrote: > David, > > > On 15 Dec 2014, at 23:43, David Topham <[email protected]> wrote: > > > > It is version 2.9.1w8... and here is the latest attempt (attached). > > > > > > I notice that SOLARIS is on the compile line which is not true..should be > > LINUX perhaps? > > but how do I influence that? > > The relevant makefile (src/xpp.mkf) uses the following command to determine > the OS: > > uname -s | dd conv=lcase 2>/dev/null > > Is your TinyLinux installation missing uname or dd? > > By the way, at the point that this has failed, it hasn’t started trying to > compile any ML. > > Regards, > > Rob. > > > > > > On Mon, Dec 15, 2014 at 2:40 PM, Rob Arthan <[email protected]> wrote: > > David, > > > > > >> On 15 Dec 2014, at 22:24, David Topham <[email protected]> wrote: > >> > >> Rob, Yes I was following the instructions in the README file and did > >> ./configure, then ./install but it failed on the line in the Makefile that > >> invoked PolyML.commit(); > >> > >> I replaced that in the Makefile with: > >> PolyML.export("mypoly",PolyML.rootFunction); > >> > >> ...and it ran further, but still I have been unable to compile it > >> successfully all the way with other errors I haven't tracked down yet. If > >> you have time, I could keep trying, and report to you what I can't figure > >> out on my own. > > > > I have copied this over to the ProofPower mailing list where we should be > > able to answer it for you. What version have you downloaded? In version > > 2.9.1w8, there is a spurious occurrence of PolyML.commit in src/dev.mkf, > > but it is in a variable that is no longer used and shouldn’t stop anything > > building. > > > > Regards, > > > > Rob. > > <build.log> > > <busybox.PNG>_______________________________________________ > Proofpower mailing list > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
