Poly/ML

polyml@lists.polyml.org

698 discussions

Error building Poly/ML 5
by preen＠informatik.uni-freiburg.de 26 Jan '07

26 Jan '07

Hi, I have problems building Poly/ML 5 on Solaris 10. It works fine on Linux 2.6.15. In both cases I use gcc 4.1.1. ... creating polyimport ./polyimport -H 10 imports/polymlsparc.txt < exportPoly.sml > /dev/null /bin/bash: line 1: 13236 Segmentation Fault (core dumped) ./polyimport -H 10 imports/polymlsparc.txt <exportPoly.sml >/dev/null make[2]: *** [polyexport.o] Error 139 make[2]: Leaving directory `/scratch/polyml.5.0' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/scratch/polyml.5.0' make: *** [all] Error 2 Any ideas ? Regards, Martin --------------------------------------------------------------- Martin Preen, Universit?t Freiburg, Institut f?r Informatik Georges-Koehler-Allee 52, Raum 00-006, 79110 Freiburg, Germany phone: ++49 761 203-8250 preen(a)informatik.uni-freiburg.de fax: ++49 761 203-8242 www.informatik.uni-freiburg.de

2 2

Poly/ML version 5
by David.Matthews＠prolingua.co.uk 09 Jan '07

09 Jan '07

I have updated the web site to release version 5 officially. There is a source package available at http://sourceforge.net/project/showfiles.php?group_id=148318 . Thank you everyone who provided feedback during the beta test phase. If anyone wants to make binary distributions that would be very welcome. I am hoping that will be easier now that it uses autoconf, and of course now it is licensed under LGPL. Please post a message to this list if you make a distribution so that I and other people know about it. I'm hoping to produce a Windows binary shortly. Bug fixes and other updates will continue to be made to the CVS version and will be incorporated into the next release when it happens. David.

1 0

polyml 5 heap option
by obua＠in.tum.de 14 Dec '06

14 Dec '06

Hi, I am using poly ml 5 together with Isabelle. When I start poly with the "-H 500" option, my process will terminate with a "run out of store" message after these 500MB have been used up (I used "top" to monitor the heap usage). If I give "-H 8000", it will succeed. Is this behaviour to be expected? Best, Steven -- Steven Obua Technische Universit?t M?nchen Institut f?r Informatik Boltzmannstr. 3 D-85748 Garching Tel: ++49 (0)89 / 289-17328 EMail: obua(a)in.tum.de Raum: 01.11.059

2 1

libtool -release option
by David.Matthews＠prolingua.co.uk 11 Dec '06

11 Dec '06

Ian Zimmerman wrote: > David> Ian, Since this is the first release of Poly/ML to use shared > David> libraries I would prefer to give this some thought now and then > David> adopt a scheme that can be used for future releases rather than > David> try and change it in the future. I don't have any strong > David> feelings either way and you obviously have some experience. > David> Would it be best to use -version-info 0:0:0 for this release? > > David> Because of the way the interface between compiled ML code and the > David> Poly/ML run-time library works I'll have to think about how > David> future releases should increment the version-info. > > The question is if it makes sense to upgrade the runtime and standalone > executables produced by linking with it independently. Not only for > end users, but also for distributions. > > If it does (and I think it does), then -version-info > will allow that and is preferable. The rules for incrementing the numbers > are spelled out in > > http://www.gnu.org/software/libtool/manual.html#Updating-version-info I thought about this and I've now made this change and updated CVS. The initial version is now 0:0 which is what the libtool manual suggests as the starting value. I hope that makes things simpler for Debian. David.

1 0

libtool -release option
by itz＠madbat.mine.nu 11 Dec '06

11 Dec '06

Is there a reason why this is used for libpolyml in the beta sources, instead of the -version-info or -version-number options as recommended by libtool manual? I am debianizing and lintian objects hard. -- Experience with Asset Control an asset.

2 3

Error while building PolyML 5.0 on Cygwin
by MichaelNedzelsky＠yandex.ru 10 Dec '06

10 Dec '06

After ./configure I tried to invoke make and get the following: --------------------------------------------------------------------------- $ make make all-recursive make[1]: Entering directory `/cygdrive/c/user/michael/polyml' Making all in libpolyml make[2]: Entering directory `/cygdrive/c/user/michael/polyml/libpolyml' if /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT mpoly.lo -MD -MP -MF ".de ps/mpoly.Tpo" -c -o mpoly.lo mpoly.cpp; \ then mv -f ".deps/mpoly.Tpo" ".deps/mpoly.Plo"; else rm -f ".deps/mpoly.Tpo"; exit 1; fi mkdir .libs g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT mpoly.lo -MD -MP -MF .deps/mpoly.Tpo -c mpoly.cpp -DPIC -o .libs/mpoly.o g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT mpoly.lo -MD -MP -MF .deps/mpoly.Tpo -c mpoly.cpp -o mpoly.o >/dev/null 2> &1 if /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT gc.lo -MD -MP -MF ".deps/ gc.Tpo" -c -o gc.lo gc.cpp; \ then mv -f ".deps/gc.Tpo" ".deps/gc.Plo"; else rm -f ".deps/gc.Tpo"; exit 1; fi g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT gc.lo -MD -MP -MF .deps/gc.Tpo -c gc.cpp -DPIC -o .libs/gc.o g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT gc.lo -MD -MP -MF .deps/gc.Tpo -c gc.cpp -o gc.o >/dev/null 2>&1 if /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT diagnostics.lo -MD -MP -M F ".deps/diagnostics.Tpo" -c -o diagnostics.lo diagnostics.cpp; \ then mv -f ".deps/diagnostics.Tpo" ".deps/diagnostics.Plo"; else rm -f ".deps/diagnostics.Tpo"; exit 1; fi g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT diagnostics.lo -MD -MP -MF .deps/diagnostics.Tpo -c diagnostics.cpp -DPIC -o .libs/diagnostics.o g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT diagnostics.lo -MD -MP -MF .deps/diagnostics.Tpo -c diagnostics.cpp -o dia gnostics.o >/dev/null 2>&1 if /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT arb.lo -MD -MP -MF ".deps /arb.Tpo" -c -o arb.lo arb.cpp; \ then mv -f ".deps/arb.Tpo" ".deps/arb.Plo"; else rm -f ".deps/arb.Tpo"; exit 1; fi g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT arb.lo -MD -MP -MF .deps/arb.Tpo -c arb.cpp -DPIC -o .libs/arb.o g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT arb.lo -MD -MP -MF .deps/arb.Tpo -c arb.cpp -o arb.o >/dev/null 2>&1 if /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT reals.lo -MD -MP -MF ".de ps/reals.Tpo" -c -o reals.lo reals.cpp; \ then mv -f ".deps/reals.Tpo" ".deps/reals.Plo"; else rm -f ".deps/reals.Tpo"; exit 1; fi g++ -DHAVE_CONFIG_H -I. -I. -I.. -Di386 -DLINUX -Wall -g -O3 -MT reals.lo -MD -MP -MF .deps/reals.Tpo -c reals.cpp -DPIC -o .libs/reals.o In file included from reals.cpp:59: /usr/include/ieeefp.h:185: error: previous declaration of `int isnan(double)' with C++ linkage /usr/include/math.h:125: error: conflicts with new declaration with C linkage /usr/include/ieeefp.h:186: error: previous declaration of `int isinf(double)' with C++ linkage /usr/include/math.h:126: error: conflicts with new declaration with C linkage /usr/include/ieeefp.h:187: error: previous declaration of `int finite(double)' with C++ linkage /usr/include/math.h:127: error: conflicts with new declaration with C linkage /usr/include/ieeefp.h:191: error: previous declaration of `int isnanf(float)' with C++ linkage /usr/include/math.h:240: error: conflicts with new declaration with C linkage /usr/include/ieeefp.h:192: error: previous declaration of `int isinff(float)' with C++ linkage /usr/include/math.h:241: error: conflicts with new declaration with C linkage /usr/include/ieeefp.h:193: error: previous declaration of `int finitef(float)' with C++ linkage /usr/include/math.h:242: error: conflicts with new declaration with C linkage make[2]: *** [reals.lo] Error 1 make[2]: Leaving directory `/cygdrive/c/user/michael/polyml/libpolyml' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/cygdrive/c/user/michael/polyml' make: *** [all] Error 2 --------------------------------------------------------------------------- On Linux (Mandrake 10.1) the CVS version of PolyML works fine. Regards, Michael Nedzelsky

2 1

Poly/ML version 5 beta
by David.Matthews＠prolingua.co.uk 10 Nov '06

10 Nov '06

Thanks to some financial support from the Verisoft project and TUM I've been working through the summer on an updated version of the Poly/ML run-time system and a new code-generator for the AMD 64-bit architecture. The major new features are: Support for stand-alone binaries Support for additional platforms: AMD64, Intel Macs, Cygwin No artificial limits on size of heaps or saved image Uses standard GNU tools for building Fixed address mmap and trap-handling removed This comes at one significant cost: the persistent store system that has been a feature of Poly/ML almost since the beginning has been removed. The reason for this is that to be effective the persistent store needed to be able to reload a database at the same address every time but that could conflict with other libraries and result in seg faults. Rather than constantly adjust the location of the database with each new kernel release I decided to make the leap and change to making stand-alone binaries. This achieves much the same as the persistent store but without the complications. This version is currently only available by cvs from sourceforge and is a beta release. Full details and example code showing how to export a function and build an application can be found in http://www.polyml.org/Version5Beta.html . Makarius has been testing this with Isabelle and after some bug fixes it all seems to work. I would like to get some more feedback before making a final release but I'm aiming for a release in about a month. David.

2 3

Re: Posix.Process.alarm
by David.Matthews＠prolingua.co.uk 31 Oct '06

31 Oct '06

Tjark Weber wrote: > I'm a bit puzzled by the behavior of Posix.Process.alarm. As far as I > understand its specification, calling it with a timeout of 0 should cancel > any pending alarm request (and not raise an alarm itself). The Standard ML Basis Library book doesn't say anything about treating Posix.Process.alarm Time.zeroTime differently from any other time so by implication it ought to send an alarm signal immediately. The Posix documentation, though, says that alarm(0) cancels any pending alarm and the FreeBSD man page explicitly says that this does not send a SIGALRM. I would assume that this is the intended behaviour and I've fixed this in CVS for version 5. David.

1 0

Re: Word32 for Poly/ML version 5 beta
by David.Matthews＠prolingua.co.uk 30 Oct '06

30 Oct '06

Achim D. Brucker wrote: > I've implemented a simple Word32 structure for Poly/ML (see the > attachment file). It is a crude hack that implements the Word32 > structure (mis-) using LargeWord. I know, this is not very efficient, > but it works :-). Whereas the Word32 is not yet tested throughoutly, > it works well enough for fxp [1] (a functional XML parser for > SML). Moreover, I tested the setup by building HOL-OCL [2] with > Poly/ML and running our regression test-suite (consisting out of > several UML models that are imported into the system using the fxp > parser). All tests run successfully (which also means, that I could > successfully build Isabelle/HOL-Complex, version 2005, using the > Poly/ML 5 beta). > [1] http://www2.in.tum.de/~berlea/Fxp/ > [2] http://www.brucker.ch/projects/hol-ocl/ Thanks for submitting this, Achim. I've made a few modifications and added it to CVS. I also made a small fix to the Word8 structure while I was doing this. Can you check that this still works? In case anyone else wants to try this and isn't familiar with CVS, the commands are: cd polyml cvs update -Pd make clean make make install David.

2 1

Poly/ML version 5 beta
by dirkl＠cs.uni-sb.de 23 Oct '06

23 Oct '06

Hi David, thanks for your help. You were right, I had the mingw version of fenv.h installed because I have another programs which needs this library. After I edited config.h the compilation worked without problems. Dirk Monday, October 23, 2006, 7:22:55 PM, David Matthews wrote: > Dirk Leinenbach wrote: >> first of all, thank you very much for the new Poly/ML version which >> will hopefully be really useful in the Verisoft project. >> >> I've downloaded the new version and on linux it works very well. With >> cygwin I get compilation errors: >> >> gcc -Di386 -DLINUX -Wall -fno-strict-aliasing -g -O3 -o polyimport.exe polyimpor >> t.o libpolyml/.libs/libpolyml.a -lstdc++ -ldl >> libpolyml/.libs/libpolyml.a(reals.o): In function `_Z14Real_dispatchcP12SaveVecE >> ntryS0_': >> /cygdrive/c/temp/polyml/libpolyml/reals.cpp:432: undefined reference to `_fegetr >> ound' >> /cygdrive/c/temp/polyml/libpolyml/reals.cpp:449: undefined reference to `_fesetr >> I think the reason is that cygwin doesn't support the fenv.h library. >> In your announcement mail you highlighted the support for cygwin, so I >> think that the problem is on my side. Maybe I have to use the fenv.h >> library from mingw, or do you know any other solution? > Hi Dirk, > This works for me in Cygwin so I wonder if your setup is unusual. It > looks as though you have a version of <fenv.h> in your include path, > perhaps the mingw one, but you're not linking with a library that > contains fegetround/fesetround. The proper fix is to find out why you > are picking up the fenv.h but a work-around would be to edit config.h > and remove the line that says > #define HAVE_FENV_H 1 > David -- Dirk Leinenbach Computer Science Department Saarland University Germany Building E1 1, Room 4.06 phone: +49 - 681 / 302 - 57379 fax: +49 - 681 / 302 - 4132

1 0

← Newer
1
...
58
59
60
61
62
63
64
...
70
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML