diff --git a/share/Makefile.config.in b/share/Makefile.config.in index 6acbd529f84b1977739ae8f79aaf3fb24ee47caa..7370b7bcf278c1036f03aa5e305508f0127f0f37 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