diff options
| -rw-r--r-- | otherlibs/bigarray/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/bigarray/Makefile b/otherlibs/bigarray/Makefile index 8d7f9f294..fc3b8c47b 100644 --- a/otherlibs/bigarray/Makefile +++ b/otherlibs/bigarray/Makefile @@ -39,7 +39,7 @@ bigarray.cmxa: $(CAML_OBJS:.cmo=.cmx) $(CAMLOPT) -a -linkall -o bigarray.cmxa $(CAML_OBJS:.cmo=.cmx) install: - cp libbigarray.a bigarray.cma $(LIBDIR) + cp bigarray.cmi bigarray.mli libbigarray.a bigarray.cma $(LIBDIR) installopt: cp libbigarray.a bigarray.cmxa $(LIBDIR) |