Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006375OCamlconfigure and build/installpublic2014-04-19 11:372015-12-11 19:28
Assigned To 
StatusclosedResolutionunable to reproduce 
PlatformSynology DS1513OSx86_64 GNU/LinuxOS Version3.2.40
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006375: Segmentation fault when running make
DescriptionThe configure script reports the architecture as amd64. When i run make I get

DS1513> make world.opt
make coldstart
make[1]: Entering directory `/root/ocaml-4.01.0'
cd byterun; make all
make[2]: Entering directory `/root/ocaml-4.01.0/byterun'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/root/ocaml-4.01.0/byterun'
cp byterun/ocamlrun boot/ocamlrun
cd yacc; make all
make[2]: Entering directory `/root/ocaml-4.01.0/yacc'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/root/ocaml-4.01.0/yacc'
cp yacc/ocamlyacc boot/ocamlyacc
cd stdlib; make COMPILER=../boot/ocamlc all
make[2]: Entering directory `/root/ocaml-4.01.0/stdlib'
../boot/ocamlrun ../boot/ocamlc -strict-sequence -w +33..39 -g -warn-error A -nostdlib `./Compflags pervasives.cmi` -c pervasives.mli
Segmentation fault (core dumped)
make[2]: *** [pervasives.cmi] Error 139
make[2]: Leaving directory `/root/ocaml-4.01.0/stdlib'
make[1]: *** [coldstart] Error 2
make[1]: Leaving directory `/root/ocaml-4.01.0'
make: *** [world.opt] Error 2
Steps To Reproduce./configure
make world.op
Additional InformationI've included the output of strace make world.op
TagsNo tags attached.
Attached Filestxt file icon strace.txt [^] (327,491 bytes) 2014-04-19 11:37

- Relationships

-  Notes
xleroy (administrator)
2014-04-26 10:42

The strace is that of "make", so it's not informative.

You're the first to report this particular crash for 4.01, so I suspect an accident on your machine: either boot/ocamlc is corrupted or the runtime system was miscompiled.

For boot/ocamlc, you can re-download the sources, checking the MD5 checksums.

For possible miscompilation, what C compiler are you using? Also, file INSTALL contains the following suggestions:

"Try recompiling the runtime system with optimizations turned off
(change CFLAGS in byterun/Makefile and asmrun/Makefile).
The runtime system contains some complex, atypical pieces of C code
that can uncover bugs in optimizing compilers. Alternatively, try
another C compiler (e.g. gcc instead of the vendor-supplied cc).

You can also build a debug version of the runtime system. Go to the
byterun/ directory and do "make ocamlrund". Then, copy ocamlrund to
../boot/ocamlrun, and try again. This version of the runtime system
contains lots of assertions and sanity checks that could help you
pinpoint the problem."

xleroy (administrator)
2014-06-10 10:37

In the absence of more information, we'll have to close this PR as not reproducible.

- Issue History
Date Modified Username Field Change
2014-04-19 11:37 ukgeorge New Issue
2014-04-19 11:37 ukgeorge File Added: strace.txt
2014-04-26 10:42 xleroy Note Added: 0011326
2014-04-26 10:42 xleroy Status new => feedback
2014-06-10 10:37 xleroy Note Added: 0011715
2014-07-11 12:06 doligez Severity crash => major
2014-07-11 12:06 doligez Status feedback => resolved
2014-07-11 12:06 doligez Resolution open => unable to reproduce
2015-12-11 19:28 xleroy Status resolved => closed
2017-02-23 16:38 doligez Category OCaml internal build/install (Makefiles, configure) => configure and build/install

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker