Bug#707410: mlton: FTBFS: gc/int-inf.c:180:43: error: unknown type name '__gmp_const'

2013-06-25 Thread Henry Cejtin
bject: Bug#707410: mlton: FTBFS: gc/int-inf.c:180:43: error: unknown type name '__gmp_const' To: "Sebastian Ramacher" , 707...@bugs.debian.org Date: Tuesday, June 25, 2013, 12:06 PM Yes, I also have a patch, but the next MLton is due out shortly and it includes the pa

Bug#707410: mlton: FTBFS: gc/int-inf.c:180:43: error: unknown type name '__gmp_const'

2013-06-25 Thread Wesley W. Terpstra
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 wrote: > Control: tags -1 + patch upstream fixed-upstream > Control: forwarded -1 https://github.com/MLton/mlton/issue

Bug#707410: mlton: FTBFS: gc/int-inf.c:180:43: error: unknown type name '__gmp_const'

2013-06-25 Thread Sebastian Ramacher
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 -We

Bug#707410: mlton: FTBFS: gc/int-inf.c:180:43: error: unknown type name '__gmp_const'

2013-05-09 Thread Lucas Nussbaum
Source: mlton Version: 20100608-5 Severity: serious Tags: jessie sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20130509 qa-ftbfs Justification: FTBFS on amd64 Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part: > gcc -std=gnu99 -I. -Iplat