From a282c5e8f7c3ba1ae76de589b30959cb4a2a30f3 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 26 Jul 2019 18:19:54 +0200
Subject: [PATCH] [Makefile] fix issue with gmp and caml_ba_alloc_dims
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Solution found by David Bühler.
---
 share/Makefile.config.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/share/Makefile.config.in b/share/Makefile.config.in
index f0bc8ae518d..4d24fca3ac2 100644
--- a/share/Makefile.config.in
+++ b/share/Makefile.config.in
@@ -186,7 +186,8 @@ ENABLE_USERS	                  ?=@ENABLE_USERS@
 ENABLE_EVA                      ?=@ENABLE_EVA@
 
 #bytes is part of the stdlib, but is used as a transitional package.
-LIBRARY_NAMES := findlib ocamlgraph unix str dynlink bytes zarith yojson
+LIBRARY_NAMES := \
+  findlib ocamlgraph unix str dynlink bytes zarith yojson bigarray
 
 ifeq ($(HAS_LANDMARKS),yes)
 LIBRARY_NAMES += landmarks landmarks.ppx
-- 
GitLab