Poly/ML

polyml@lists.polyml.org

698 discussions

Seg. fault
by m.a.ellis＠ncl.ac.uk 14 Apr '05

14 Apr '05

FYI, Lest anyone be planning an upgrade, I get segmentation faults on PolyML startup using Linux 2.6.9 (using PolyML as distributed with Isabelle). Maybe it's just me though. 2.6.8.1 seems fine though. Martin

6 9

Spontaneous corruption of PolyML 4.13 Database on WinXP
by byron.hale＠einfo.com 19 Mar '05

19 Mar '05

Hi, I'm sorry to report this, but the database on PolyML 4.13, Win XP, has saved state when I have studiously avoided doing so. Suggestions? Thanks, Byron Hale

1 0

Recursive type definitions resolved well enough for me.
by byron.hale＠einfo.com 19 Mar '05

19 Mar '05

Thanks to WIlliam Lovas, I have a reasonable answer for the errors I was getting and what might be done about them. SMLNJ seemed to handle errors more consistently than PolyML, but once there is a syntactic error, error handling is problematic anyway. Byron Hale

1 0

Interpreted Version of PolyML 4.1.3
by brucker＠spamfence.net 18 Mar '05

18 Mar '05

Hi, while trying to build an interpreted PolyML system based on version 4.1.3 (version 4.0 works fine) I'm getting linker errors, e.g.: /tmp/driver/improve.c:724: undefined reference to `MD_update_code_addresses' Any hints? Achim

2 2

Problem with datatype definition
by byron.hale＠einfo.com 18 Mar '05

18 Mar '05

2 1

Re: Compiling PolyML 413
by rdindir＠yahoo.com 03 Feb '05

03 Feb '05

I tried to install PolyML again... Here is what I did. Unpacked the driver archive: polyml-driver-4.1.3.tar.gz Then ran ./configure. It warned me about the operating system saying: "unknown operating system OpenBSD". And there are no XWindows support either (which is understanable because Xm is in different directories on my system, anyways). I continued and tried to compile it: make... There was a compilation error: discgc.c line 36 alloca.h (No such file or directory - NSFOD). Then I copied the part where the OS is identified in the configure file for FREEBSD. The changes are like this: OpenBSD) echo "OpenBSD operating system" ARCH=`uname -m` OS=freebsd OSFLAGS=-DFREEBSD LIBS="-lm" ;; After that ran configure again, which removed the warning regarding the operating system. Then tried to compile it again (first make clean, then make). There were again errors which I have changed like this... 1. mmap.c: 66 values.h (No such file or directory). I commented out the include. There is no values in my system. I tried to find it. Maybe I have to find the corresponding header file for this. In the mmap.c file there is a comment that says that FREEBSD warns about that particular file. Since there is a warning I commented it out. There is a file /usr/include/limits.h that defines the constants defined in values.h on other systems. I will try to include this file and compile again... But since it compiles without this file, the constants must be defined somewhere... Anyways here are the remaining steps that I have taken. 2. reals.c: 24 floatingpoint.h (NSFOD). I have changed this include to ieeefp.h, which is on my system. No floatingpoint.h present. floatingpoint.h on FreeBSD is for IEEE fp functionality. 3. realconv.c: warnings here. Ignored. after these changes I compiled again (make clean and then make). Compiled fine. Installed the polyML using make install. Then I continued and created a temp directory and unpacked the polyml-4.1.3.i386.tar.gz database to the directory created. It created a DB413Release and a link ML_dbase. In the same directory I ran poly and it gave me this message: Can't process signal at 2071acee and poly.core created (core dumped). By the way, my system is (using uname -srv): OpenBSD 3.4 GENERIC #18 Riza > Date: Thu, 27 Jan 2005 11:00:37 +0000 > From: David Matthews > > It's almost impossible to suggest anything here > without a lot more > information. I'm surprised, though, that you've > modified addresses.h . > Did you have a reason for this? I have had > Poly/ML running on FreeBSD > for many years and the database it uses is identical > to that on Linux so > I would have expected that it would also run on > OpenBSD. Have you tried > compiling the driver using the options for FreeBSD > and seeing if that works? > > David. > __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com

3 2

Compiling PolyML 413
by rdindir＠yahoo.com 27 Jan '05

27 Jan '05

Hi All, I have a problem with polyml (poly), when I try to start it. The ML_dbase as well as the the poly executable is in the current directory. When I start it displays this message: Can't process signal at <an address or hex number> Here is what I did... I obtained the source for polyML polyml_driver_4.1.3.tar. Changed the addresses in the addresses.h file. I gotton the address from mmap function and mapped the values in the header file. Compiled the driver on OpenBSD. Compacted the database for the i386 architecture. All went well with no problems, but I get the above message and the executable dumps a core. Do I do something wrong (aparently I do) something in the above procedure to compile and create the database. I also tried to build a new database, using readport but I could not get it to compile. It complains about the definition OBJ_FIRST_BIT. I do not remember the other errors... Kind Regards, Riza Dindir __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com

2 1

install_pp
by p.clayton＠eris.qinetiq.com 13 Jan '05

13 Jan '05

Does anyone know where I can find documentation for PolyML.install_pp? Thanks, Phil

2 1

addresses.h for linux 2.6.9
by Martin.vGagern＠gmx.net 21 Dec '04

21 Dec '04

The following works for me: diff -ru polyml-4.1.3/driver/addresses.h polyml/driver/addresses.h --- polyml-4.1.3/driver/addresses.h 2002-06-18 20:47:45.000000000 +0200 +++ polyml/driver/addresses.h 2004-12-21 10:42:36.481444760 +0100 @@ -267,10 +267,10 @@ and 0x10000000 in later ones. It seems that mmap without a fixed address (and so malloc) maps at upwards of 0x40000000. These should be reasonable. DCJM 29/11/01. */ -#define LOCAL_IBOTTOM Words(0x60000000) -#define LOCAL_ITOP Words(0xa8000000) -#define LOCAL_MBOTTOM Words(0xa8000000) -#define LOCAL_MTOP Words(0xb8000000) +#define LOCAL_IBOTTOM Words(0x50000000) +#define LOCAL_ITOP Words(0x98000000) +#define LOCAL_MBOTTOM Words(0x98000000) +#define LOCAL_MTOP Words(0xa8000000) /* 1.1 Gbytes for immutable, 256Mbytes for mutable. */ /* This leaves 0xb8... - 0xbf... for the C stack. (i.e. 128 Mbytes) */

2 1

Segmentation fault
by berghofe＠in.tum.de 13 Dec '04

13 Dec '04

Hello, the attached ML file causes Poly/ML 4.1.3 to crash with a segmentation fault under Linux version 2.4.21-243-smp4G. Any help would be greatly appreciated. Greetings, Stefan -- Dr. Stefan Berghofer E-Mail: berghofe(a)in.tum.de Institut fuer Informatik Phone: +49 89 289 17328 Technische Universitaet Muenchen Fax: +49 89 289 17307 Boltzmannstr. 3 Room: 01.11.059 85748 Garching, GERMANY http://www.in.tum.de/~berghofe

2 2

← Newer
1
...
61
62
63
64
65
66
67
...
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