From 9f9b3872ea66bc039fb4e1d3b274d677949351b3 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 6acbd529f84..7370b7bcf27 100644
--- a/share/Makefile.config.in
+++ b/share/Makefile.config.in
@@ -183,7 +183,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