Thank you for the quick response. That is useful to know. Perhaps my original download of source was corrupt. I tried again this time use the polyml-master.zip *from github" and that made it much further.
I think it may be almost complete, but got a segment fault at the last minute. make all-recursive make[1]: Entering directory '/root/polyml-master' Making all in libpolyml make[2]: Entering directory '/root/polyml-master/libpolyml' Making all in libffi make[3]: Entering directory '/root/polyml-master/libpolyml/libffi' make 'AR_FLAGS=' 'CC_FOR_BUILD=' 'CFLAGS=-O3 -fomit-frame-pointer -fstrict-aliasing -ffast-math -march=pentium -Wall -fexceptions' 'CXXFLAGS=-g -O2' 'CFLAGS_FOR_BUILD=' 'CFLAGS_FOR_TARGET=' 'INSTALL=/usr/bin/install -c' 'INSTALL_DATA=/usr/bin/install -c -m 644' 'INSTALL_PROGRAM=/usr/bin/install -c' 'INSTALL_SCRIPT=/usr/bin/install -c' 'JC1FLAGS=' 'LDFLAGS=' 'LIBCFLAGS=' 'LIBCFLAGS_FOR_TARGET=' 'MAKE=make' 'MAKEINFO=/bin/sh /root/polyml-master/libpolyml/libffi/missing makeinfo ' 'PICFLAG=' 'PICFLAG_FOR_TARGET=' 'RUNTESTFLAGS=' 'SHELL=/bin/sh' 'exec_prefix=/usr/local' 'infodir=/usr/local/share/info' 'libdir=/usr/local/lib' 'mandir=/usr/local/share/man' 'prefix=/usr/local' 'AR=ar' 'AS=as' 'CC=gcc' 'CXX=g++' 'LD=/usr/i586-alpine-linux-musl/bin/ld' 'NM=/usr/bin/nm -B' 'RANLIB=ranlib' 'DESTDIR=' all-recursive make[4]: Entering directory '/root/polyml-master/libpolyml/libffi' Making all in include make[5]: Entering directory '/root/polyml-master/libpolyml/libffi/include' make[5]: Nothing to be done for 'all'. make[5]: Leaving directory '/root/polyml-master/libpolyml/libffi/include' Making all in testsuite make[5]: Entering directory '/root/polyml-master/libpolyml/libffi/testsuite' make[5]: Nothing to be done for 'all'. make[5]: Leaving directory '/root/polyml-master/libpolyml/libffi/testsuite' Making all in man make[5]: Entering directory '/root/polyml-master/libpolyml/libffi/man' make[5]: Nothing to be done for 'all'. make[5]: Leaving directory '/root/polyml-master/libpolyml/libffi/man' make[5]: Entering directory '/root/polyml-master/libpolyml/libffi' make[5]: Leaving directory '/root/polyml-master/libpolyml/libffi' make[4]: Leaving directory '/root/polyml-master/libpolyml/libffi' make[3]: Leaving directory '/root/polyml-master/libpolyml/libffi' make[3]: Entering directory '/root/polyml-master/libpolyml' make[3]: Nothing to be done for 'all-am'. make[3]: Leaving directory '/root/polyml-master/libpolyml' make[2]: Leaving directory '/root/polyml-master/libpolyml' Making all in libpolymain make[2]: Entering directory '/root/polyml-master/libpolymain' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/root/polyml-master/libpolymain' Making all in . make[2]: Entering directory '/root/polyml-master' make[2]: Leaving directory '/root/polyml-master' Making all in modules make[2]: Entering directory '/root/polyml-master/modules' Making all in IntInfAsInt make[3]: Entering directory '/root/polyml-master/modules/IntInfAsInt' echo "use \"./ROOT.sml\";" | ../../poly -q -error-exit Segmentation fault make[3]: *** [Makefile:479: IntInfAsInt] Error 139 make[3]: Leaving directory '/root/polyml-master/modules/IntInfAsInt' make[2]: *** [Makefile:377: all-recursive] Error 1 make[2]: Leaving directory '/root/polyml-master/modules' make[1]: *** [Makefile:729: all-recursive] Error 1 make[1]: Leaving directory '/root/polyml-master' make: *** [Makefile:488: all] Error 2 On Sat, Oct 17, 2020 at 4:00 AM <[email protected]> wrote: > Send polyml mailing list submissions to > [email protected] > > To subscribe or unsubscribe via the World Wide Web, visit > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > or, via email, send a message with subject or body 'help' to > [email protected] > > You can reach the person managing the list at > [email protected] > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of polyml digest..." > > > Today's Topics: > > 1. building polyml on Alpine Linux (David Topham) > 2. Re: PolyML REPL (Anton Lobach) > 3. Re: building polyml on Alpine Linux (David Matthews) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 16 Oct 2020 15:17:37 -0700 > From: David Topham <[email protected]> > To: [email protected] > Subject: [polyml] building polyml on Alpine Linux > Message-ID: > < > cad034bh36ek--zkkho2iyui4x6ar+7qjg28le3t-nfs+js-...@mail.gmail.com> > Content-Type: text/plain; charset="utf-8" > > I have been trying to get polyml working on Alpine Linux 32-bit > > Since there is't yet a package to install it, I tried getting the source > from github > > When doing make, I first got error about missing libffi directory. > > I thought I may bypass that by configuring with option to use system libffi > i.e. > apk add libffi-dev > ./configure --with-system-libffi --with-x > > Here is result: > > ---------------- > make all-recursive > make[1]: Entering directory '/root/vfpub/polyml-master' > Making all in libpolyml > make[2]: Entering directory '/root/vfpub/polyml-master/libpolyml' > make[3]: Entering directory '/root/vfpub/polyml-master/libpolyml' > /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. > -I.. -O3 -Wall -DMODULEDIR=\"/usr/local/lib/polyml/modules\" -O3 -MT > arb.lo -MD -MP -MF .deps/arb.Tpo -c -o arb.lo arb.cpp > libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall > "-DMODULEDIR=\"/usr/local/lib/polyml/modules\"" -O3 -MT arb.lo -MD -MP -MF > .deps/arb.Tpo -c arb.cpp -fPIC -DPIC -o .libs/arb.o > arb.cpp:87:10: fatal error: globals.h: No such file or directory > 87 | #include "globals.h" > | ^~~~~~~~~~~ > compilation terminated. > make[3]: *** [Makefile:800: arb.lo] Error 1 > make[3]: Leaving directory '/root/vfpub/polyml-master/libpolyml' > make[2]: *** [Makefile:840: all-recursive] Error 1 > make[2]: Leaving directory '/root/vfpub/polyml-master/libpolyml' > make[1]: *** [Makefile:729: all-recursive] Error 1 > make[1]: Leaving directory '/root/vfpub/polyml-master' > make: *** [Makefile:488: all] Error 2 > --------------------------- > > Has anyone had luck building on Alpine? > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: < > http://lists.inf.ed.ac.uk/pipermail/polyml/attachments/20201016/c852bf90/attachment-0001.html > > > > ------------------------------ > > Message: 2 > Date: Fri, 16 Oct 2020 23:20:15 -0400 > From: Anton Lobach <[email protected]> > To: David Matthews <[email protected]> > Cc: [email protected] > Subject: Re: [polyml] PolyML REPL > Message-ID: > <CAPO7x1oLhWtxHGubAV= > [email protected]> > Content-Type: text/plain; charset="utf-8" > > Dear David, > > Thank you very much for the answer. > > Sincerely, > Anton > > On Fri, Oct 16, 2020 at 3:08 AM David Matthews < > [email protected]> wrote: > > > Poly/ML generates native machine code on the X86 (32 and 64) both for > > files compiled with "use" and input typed at the console. On anything > > other than the X86 it compiles to an interpreted byte code. > > > > Regards, > > David > > > > On 16/10/2020 04:02, Anton Lobach wrote: > > > Hi, > > > > > > Does PolyML REPL produce native code or does it work as an interpreter? > > > > > > Regards, > > > Anton Lobach > > > > > > > > > _______________________________________________ > > > polyml mailing list > > > [email protected] > > > > > > https://urldefense.com/v3/__http://lists.inf.ed.ac.uk/mailman/listinfo/polyml__;!!Jh1S!2BJQ_iu1mNXliOWu2-Cd9q4MVfodvaToq1M5KOvURq4sGZSAM1uu6dOD2JPX7kMj-w$ > > > > > > > > -- > Regards, > > Anton Lobach > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: < > http://lists.inf.ed.ac.uk/pipermail/polyml/attachments/20201016/d773d36c/attachment-0001.html > > > > ------------------------------ > > Message: 3 > Date: Sat, 17 Oct 2020 07:06:03 +0100 > From: David Matthews <[email protected]> > To: [email protected] > Subject: Re: [polyml] building polyml on Alpine Linux > Message-ID: <[email protected]> > Content-Type: text/plain; charset=utf-8; format=flowed > > How odd. "globals.h" should be in the libpolyml directory. "libffi" > should be in there as well. > David > > On 16/10/2020 23:17, David Topham wrote: > > I have been trying to get polyml working on Alpine Linux 32-bit > > > > Since there is't yet a package to install it, I tried getting the source > > from github > > > > When doing make, I first got error about missing libffi directory. > > > > I thought I may bypass that by configuring with option to use system > libffi > > i.e. > > apk add libffi-dev > > ./configure --with-system-libffi --with-x > > > > Here is result: > > > > ---------------- > > make all-recursive > > make[1]: Entering directory '/root/vfpub/polyml-master' > > Making all in libpolyml > > make[2]: Entering directory '/root/vfpub/polyml-master/libpolyml' > > make[3]: Entering directory '/root/vfpub/polyml-master/libpolyml' > > /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. > > -I.. -O3 -Wall -DMODULEDIR=\"/usr/local/lib/polyml/modules\" -O3 -MT > > arb.lo -MD -MP -MF .deps/arb.Tpo -c -o arb.lo arb.cpp > > libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall > > "-DMODULEDIR=\"/usr/local/lib/polyml/modules\"" -O3 -MT arb.lo -MD -MP > -MF > > .deps/arb.Tpo -c arb.cpp -fPIC -DPIC -o .libs/arb.o > > arb.cpp:87:10: fatal error: globals.h: No such file or directory > > 87 | #include "globals.h" > > | ^~~~~~~~~~~ > > compilation terminated. > > make[3]: *** [Makefile:800: arb.lo] Error 1 > > make[3]: Leaving directory '/root/vfpub/polyml-master/libpolyml' > > make[2]: *** [Makefile:840: all-recursive] Error 1 > > make[2]: Leaving directory '/root/vfpub/polyml-master/libpolyml' > > make[1]: *** [Makefile:729: all-recursive] Error 1 > > make[1]: Leaving directory '/root/vfpub/polyml-master' > > make: *** [Makefile:488: all] Error 2 > > --------------------------- > > > > Has anyone had luck building on Alpine? > > > > > > _______________________________________________ > > polyml mailing list > > [email protected] > > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > polyml mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > > ------------------------------ > > End of polyml Digest, Vol 168, Issue 4 > ************************************** > > The University of Edinburgh is a charitable body, registered in > Scotland, with registration number SC005336. > >
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
