Re: [isabelle] polyml 4.1.3 segfault on debian sid



On 8/16/05, Martin Ellis <m.a.ellis at ncl.ac.uk> wrote:
> On Tuesday 16 Aug 2005 03:25, C G wrote:
> > I was using smlnj package from Debian sid.
> 
> I never got that package to work with Isabelle.
> Instead, I'm just using the latest SML/NJ installed from sources.

It seems that I'm running into a never ending series of troubles. When
running ./config/install.sh following INSTALL of smlnj-110.55, I got

...
 make[1]: Leaving directory `/usr/local/smlnj-110.55/src/runtime/gc'
(cd ../mp; make MAKE="make" clean)
make[1]: Entering directory `/usr/local/smlnj-110.55/src/runtime/mp'
rm -f v-* *.o libmp.a
make[1]: Leaving directory `/usr/local/smlnj-110.55/src/runtime/mp'
/usr/local/smlnj-110.55/config/unpack: Un-GZIP-ing and un-TAR-ing
bootfiles archive.
./config/install.sh: CM metadata directory name is ".cm"
/usr/local/smlnj-110.55/bin/.run/run.x86-linux: Fatal error --
Uncaught exception SysErr with <unknown> raised at <sysconf.c>

./config/install.sh !!! Boot code failed, no heap image (sml.x86-linux).

I've reported this as a bug to smlnj people. Now I'm as far away from
Isabelle as I can be. The good news is that I'm now seriously into the
Isabelle camp. I mean, we really should prove that our programs work!
I see opportunities!

Best wishes





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.