From 26a531378cbed33d5741f3e4646520c41c2af73a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= Date: Fri, 21 Jun 2019 16:03:54 +0200 Subject: [PATCH] Update INSTALL.adoc Take into account that ocamlrund is now built by default. --- INSTALL.adoc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/INSTALL.adoc b/INSTALL.adoc index 2643c6f2d..b77d2e5ec 100644 --- a/INSTALL.adoc +++ b/INSTALL.adoc @@ -147,11 +147,11 @@ contains some complex, atypical pieces of C code which 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 `runtime/` -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. - +You can also use the debug version of the runtime system which is +normally built and installed by default. Run the bytecode program +that causes troubles with `ocamlrund` rather than with `ocamlrun`. +This version of the runtime system contains lots of assertions +and sanity checks that could help you pinpoint the problem. == Common problems