Yes, I also have a patch, but the next MLton is due out shortly and it includes the patch. I am just waiting for the release.
On Tue, Jun 25, 2013 at 6:53 PM, Sebastian Ramacher <sramac...@debian.org>wrote: > Control: tags -1 + patch upstream fixed-upstream > Control: forwarded -1 https://github.com/MLton/mlton/issues/3 > > On 2013-05-09 10:09:15, Lucas Nussbaum wrote: > > Relevant part: > > > gcc -std=gnu99 -I. -Iplatform -fno-common -fvisibility=hidden -m64 > -O2 -fomit-frame-pointer -pedantic -Wall -Wextra -Wformat=2 > -Wswitch-default -Wswitch-enum -Wuninitialized -Winit-self > -Wstrict-aliasing=2 -Wfloat-equal -Wundef -Wshadow -Wpointer-arith > -Wbad-function-cast -Wcast-qual -Wwrite-strings -Waggregate-return > -Wstrict-prototypes -Wold-style-definition -Wmissing-prototypes > -Wmissing-declarations -Wmissing-field-initializers -Wmissing-noreturn > -Wmissing-format-attribute -Wredundant-decls -Wnested-externs > -Wdisabled-optimization -c -o gc.o gc.c > > > In file included from gc.c:44:0: > > > gc/int-inf.c:180:43: error: unknown type name '__gmp_const' > > > gc/int-inf.c:181:43: error: unknown type name '__gmp_const' > > > gc/int-inf.c: In function 'IntInf_add': > > > gc/int-inf.c:196:3: warning: implicit declaration of function 'binary' > [-Wimplicit-function-declaration] > > > gc/int-inf.c:196:3: warning: nested extern declaration of 'binary' > [-Wnested-externs] > > > gc/int-inf.c: At top level: > > > gc/int-inf.c:257:34: error: unknown type name '__gmp_const' > > > gc/int-inf.c: In function 'IntInf_neg': > > > gc/int-inf.c:271:3: warning: implicit declaration of function 'unary' > [-Wimplicit-function-declaration] > > > gc/int-inf.c:271:3: warning: nested extern declaration of 'unary' > [-Wnested-externs] > > > gc/int-inf.c: At top level: > > > gc/int-inf.c:283:34: error: unknown type name '__gmp_const' > > > gc/int-inf.c: In function 'IntInf_arshift': > > > gc/int-inf.c:299:3: warning: implicit declaration of function 'shary' > [-Wimplicit-function-declaration] > > > gc/int-inf.c:299:3: warning: nested extern declaration of 'shary' > [-Wnested-externs] > > > make[4]: *** [gc.o] Error 1 > > A fix is available from upstream: > > https://github.com/caltry/mlton/commit/a658a1f4a76a01f568116598800f49b80cf8ee1a > > Attached is a patch to the package that incorporates this fix. I don't > intend to upload it. > > Regards > -- > Sebastian Ramacher >
