From c83b153a1d35c361c49e2e348d1ed6c2a876e113 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Wed, 17 Feb 2021 16:39:46 +0000 Subject: [PATCH] Update README.md --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index 4caea9aaf..419075f59 100644 --- a/README.md +++ b/README.md @@ -52,6 +52,12 @@ Windows users should get Windows Subsystem for Linux a.k.a WSL (recommended) or * System-wide prerequisites: - `sudo apt install gcc-multilib` (in Debian-based GNU/Linux) + + On some versions you need to install additional package `lib32gcc-9-dev` in case of errors like + ``` + /usr/bin/ld: cannot find -lgcc + /usr/bin/ld: skipping incompatible /usr/lib/gcc/x86_64-linux-gnu/9/libgcc.a when searching for -lgcc + ``` - [opam](http://opam.ocaml.org) (>= 2.0.4) - [OCaml](http://ocaml.org) (>= 4.10.1). *Optional* because it can be easily installed through opam. Compiler variant with `flambda` switch is recommended