You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 6375 Reporter: ukgeorge Status: closed (set by @xavierleroy on 2015-12-11T18:28:11Z) Resolution: unable to duplicate Priority: normal Severity: major Platform: Synology DS1513 OS: x86_64 GNU/Linux OS Version: 3.2.40 Version: 4.01.0 Category: configure and build/install
Bug description
The 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
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."
Original bug ID: 6375
Reporter: ukgeorge
Status: closed (set by @xavierleroy on 2015-12-11T18:28:11Z)
Resolution: unable to duplicate
Priority: normal
Severity: major
Platform: Synology DS1513
OS: x86_64 GNU/Linux
OS Version: 3.2.40
Version: 4.01.0
Category: configure and build/install
Bug description
The 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.mliSegmentation 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 information
I've included the output of strace make world.op
File attachments
The text was updated successfully, but these errors were encountered: