Thanks Stefan! Brilliant! It is so nice to have a supportive community to build software with!
That did it: no-pie On Sat, Oct 17, 2020 at 2:41 PM <[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. Re: polyml Digest, Vol 168, Issue 4 (David Topham) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Sat, 17 Oct 2020 14:39:11 -0700 > From: David Topham <[email protected]> > To: [email protected] > Subject: Re: [polyml] polyml Digest, Vol 168, Issue 4 > Message-ID: > <CAD034BFJRPsZzodxyX3iE5O+V-_E81p=+ > [email protected]> > Content-Type: text/plain; charset="utf-8" > > 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. > > > > > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: < > http://lists.inf.ed.ac.uk/pipermail/polyml/attachments/20201017/58fb140d/attachment.html > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > polyml mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > > ------------------------------ > > End of polyml Digest, Vol 168, Issue 5 > ************************************** >
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
