Maybe another non-Posix issue? Attached is latest build attempt. This time it fails trying to build processes.cpp because pthread functions are undefined... (setting OS=linux made progress, then I had to install mkfontdir utility and load the Xp libraries as well before getting to the current error)
On Tue, Dec 16, 2014 at 1:19 PM, Rob Arthan <[email protected]> wrote: > > 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 > > >
build.log
Description: Binary data
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
