diff options
| -rw-r--r-- | otherlibs/bigarray/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/otherlibs/bigarray/Makefile b/otherlibs/bigarray/Makefile index 064ff3903..8d7f9f294 100644 --- a/otherlibs/bigarray/Makefile +++ b/otherlibs/bigarray/Makefile @@ -38,6 +38,12 @@ bigarray.cma: $(CAML_OBJS) bigarray.cmxa: $(CAML_OBJS:.cmo=.cmx) $(CAMLOPT) -a -linkall -o bigarray.cmxa $(CAML_OBJS:.cmo=.cmx) +install: + cp libbigarray.a bigarray.cma $(LIBDIR) + +installopt: + cp libbigarray.a bigarray.cmxa $(LIBDIR) + partialclean: rm -f *.cm* |