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! (see attached) -Dave On Tue, Dec 16, 2014 at 2:02 AM, Rob Arthan <r...@lemma-one.com> wrote: > > David, > > > On 15 Dec 2014, at 23:43, David Topham <dtop...@gmail.com> 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 <r...@lemma-one.com> wrote: > > David, > > > > > >> On 15 Dec 2014, at 22:24, David Topham <dtop...@gmail.com> 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> > >
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com