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> _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
