diff --git a/share/Makefile.config.in b/share/Makefile.config.in index f0bc8ae518d5973c1e46e30e979ecf6e1dcdfd73..4d24fca3ac243f90bf049292f68a9035d33cc660 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