Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Segmentation fault when running make #6375

Closed
vicuna opened this issue Apr 19, 2014 · 2 comments
Closed

Segmentation fault when running make #6375

vicuna opened this issue Apr 19, 2014 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Apr 19, 2014

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

Steps to reproduce

./configure
make world.op

Additional information

I've included the output of strace make world.op

File attachments

@vicuna
Copy link
Author

vicuna commented Apr 26, 2014

Comment author: @xavierleroy

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."

@vicuna
Copy link
Author

vicuna commented Jun 10, 2014

Comment author: @xavierleroy

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant