Hi, gcc 4.0 failed to build mlgmp. There is no problem with gcc 3.4, or the gcc-snapshot package in Debian (4.1.0 CVS 20050726)
Created attachment 9639 [details] preprocessed source
Silly me, forgot to include the command line and error message: gcc -Wall -Wno-unused -g -O3 -fPIC -I /usr/lib/ocaml/3.08.3 -c -o mlgmp_z.o m lgmp_z.c In file included from mlgmp_z.c:13: conversions.c:68: warning: ignoring #pragma inline conversions.c:92: warning: ignoring #pragma inline mlgmp_z.c: In function '_mlgmp_z_neg': mlgmp_z.c:260: internal compiler error: Segmentation fault Please submit a full bug report, with preprocessed source if appropriate. See <URL:http://gcc.gnu.org/bugs.html> for instructions. For Debian GNU/Linux specific bug reporting instructions, see <URL:file:///usr/share/doc/gcc-4.0/README.Bugs>. make[1]: *** [mlgmp_z.o] Error 1
Lowering the optimization level (to -O2) also makes the build complete.
*** This bug has been marked as a duplicate of 23078 ***