Merge branch 'fix/andre/bigarray-on-405' into 'master'

[Makefile] fix issue with gmp and caml_ba_alloc_dims

See merge request frama-c/frama-c!2334

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