[m-users.] installation failure (Mercury 14.01)

Tomas By tomas at basun.net
Sun Aug 3 03:27:35 AEST 2014

On Sat, August 2, 2014 08:34, Julien Fischer wrote:
> The actual error would be in one of the *.err files in the
> install_grade_dir.hlc.agc/library directory.

Here is array.err:

Uncaught Mercury exception:
Software Error: map.lookup: key not found
	Key Type: int
	Key Value: 9
	Value Type: ml_backend.ml_gen_info.ml_ground_term

> Why do you want to install the agc grades at all?  They've never
> progressed to the point where they are useful for anything and should
> still be considered highly experimental.

Ok. Are any of the non-boehm gc grades useful?

I'm trying to work around the apparent GC incompatibility issue (Mercury &
Guile), as Guile 1.8 has stopped working also now.

On a related note, when I (try to) use the "asm_fast" grade, it still
seems to link with the modified GC (4th line below)?

$ ldd test
	linux-vdso.so.1 =>  (0x00007fff9e3fe000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f82da9e7000)
	libguile-2.0.so.22 => /usr/lib/libguile-2.0.so.22 (0x00007f82da660000)
	libgc.so => /usr/local/mercury-14.01/lib/mercury/lib/libgc.so
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f82d9f4b000)
	libgc.so.1 => /usr/lib/x86_64-linux-gnu/libgc.so.1 (0x00007f82d9cdf000)
	libffi.so.6 => /usr/lib/x86_64-linux-gnu/libffi.so.6 (0x00007f82d9ad6000)
	libunistring.so.0 => /usr/lib/x86_64-linux-gnu/libunistring.so.0
	libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007f82d954d000)
	libltdl.so.7 => /usr/lib/x86_64-linux-gnu/libltdl.so.7 (0x00007f82d9342000)
	libcrypt.so.1 => /lib/x86_64-linux-gnu/libcrypt.so.1 (0x00007f82d9109000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0
	/lib64/ld-linux-x86-64.so.2 (0x00007f82dad15000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f82d8ce6000)


More information about the users mailing list