diff options
| -rw-r--r-- | otherlibs/bigarray/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/otherlibs/bigarray/Makefile b/otherlibs/bigarray/Makefile index fc3b8c47b..936b794ad 100644 --- a/otherlibs/bigarray/Makefile +++ b/otherlibs/bigarray/Makefile @@ -40,9 +40,11 @@ bigarray.cmxa: $(CAML_OBJS:.cmo=.cmx) install: cp bigarray.cmi bigarray.mli libbigarray.a bigarray.cma $(LIBDIR) + cd $(LIBDIR); $(RANLIB) libbigarray.a installopt: - cp libbigarray.a bigarray.cmxa $(LIBDIR) + cp bigarray.a $(CAML_OBJS:.cmo=.cmx) bigarray.cmxa $(LIBDIR) + cd $(LIBDIR); $(RANLIB) bigarray.a partialclean: rm -f *.cm* |