mosml does not build on Cygwin

[baguette]

So far I've run into two issues.

The first is that autoconf gets stuck in an infinite loop when trying to determine the alignment constraints. The script works fine if I comment out the code for that and just add echo "#define ALIGNMENT" >> m.h.

The second comes while running make world. The build fails with:

make[2]: Entering directory '/home/cory/Downloads/kfl-mosml-96407bc/src/dynlibs/intinf'
gcc -Dunix -O3   -I../../runtime -I/usr/local/include -c -o intinf.o intinf.c
ld -shared -o libmgmp.so intinf.o -L/usr/local/lib -lgmp -lc
intinf.o:intinf.c:(.text+0x29): undefined reference to `adjust_gc_speed'
intinf.o:intinf.c:(.text+0x54): undefined reference to `adjust_gc_speed'
intinf.o:intinf.c:(.text+0xc3): undefined reference to `alloc_final'
intinf.o:intinf.c:(.text+0xec): undefined reference to `first_atoms'
intinf.o:intinf.c:(.text+0x154): undefined reference to `alloc_final'
intinf.o:intinf.c:(.text+0x1c4): undefined reference to `alloc_final'
intinf.o:intinf.c:(.text+0x20f): undefined reference to `first_atoms'
intinf.o:intinf.c:(.text+0x23e): undefined reference to `first_atoms'
intinf.o:intinf.c:(.text+0x278): undefined reference to `raiseprimitive0'
intinf.o:intinf.c:(.text+0x2ba): undefined reference to `first_atoms'
intinf.o:intinf.c:(.text+0x2ea): undefined reference to `first_atoms'
intinf.o:intinf.c:(.text+0x32a): undefined reference to `first_atoms'
intinf.o:intinf.c:(.text+0x36a): undefined reference to `first_atoms'
intinf.o:intinf.c:(.text+0x3aa): undefined reference to `first_atoms'
intinf.o:intinf.c:(.text+0x3ea): more undefined references to `first_atoms' follow
intinf.o:intinf.c:(.text+0x5ed): undefined reference to `failwith'
intinf.o:intinf.c:(.text+0x5f5): undefined reference to `first_atoms'
intinf.o:intinf.c:(.text+0x662): undefined reference to `copy_string'
intinf.o:intinf.c:(.text+0x6b9): undefined reference to `first_atoms'
intinf.o:intinf.c:(.text+0x3b): undefined reference to `stat_resize'
intinf.o:intinf.c:(.text+0x61): undefined reference to `stat_alloc'
/usr/lib/libc.a(t-d001045.o):fake:(.text+0x2): undefined reference to `_imp__free'
/usr/lib/libc.a(t-d001334.o):fake:(.text+0x2): undefined reference to `_imp__malloc'
Makefile:34: recipe for target 'libmgmp.so' failed

I'd just use the provided Windows binaries, but I'm using mosmllex which doesn't seem to be provided in the Windows bindist.

[sestoft]

On 21Dec15 4:20, "Cory Burgett" <[email protected]mailto:[email protected]> wrote:

So far I've run into two issues

The first is that autoconf gets stuck in an infinite loop when trying to determine the alignment constraints The script works fine if I comment out the code for that and just add echo "#define ALIGNMENT" >> mh

I'm not sufficiently familiar with Cygwin nowadays to diagnose the above; maybe Ken is.

The second comes while running make world The build fails with:

make[2]: Entering directory '/home/cory/Downloads/kfl-mosml-96407bc/src/dynlibs/intinf'
gcc -Dunix -O3 -I//runtime -I/usr/local/include -c -o intinfo intinfc

Here the include path -I//runtime looks suspicious; it should be -I../../runtime or -I....\runtime

But it is not completely clear to me what combination of include files etc might be wrong.

Peter Sestoft