1 --- stdlib/Makefile.orig 2012-10-15 19:50:56.000000000 +0200
2 +++ stdlib/Makefile 2014-04-01 07:27:40.000000000 +0200
4 installopt: installopt-default installopt-$(PROFILING)
8 cp stdlib.cmxa stdlib.a std_exit.o *.cmx $(LIBDIR)
9 - cd $(LIBDIR); $(RANLIB) stdlib.a
12 rm -f $(LIBDIR)/stdlib.p.cmxa; ln -s stdlib.cmxa $(LIBDIR)/stdlib.p.cmxa
14 rm -f $(LIBDIR)/std_exit.p.o; ln -s std_exit.o $(LIBDIR)/std_exit.p.o
17 + $(RANLIB) stdlib.p.a
18 cp stdlib.p.cmxa stdlib.p.a std_exit.p.cmx std_exit.p.o $(LIBDIR)
19 - cd $(LIBDIR); $(RANLIB) stdlib.p.a
21 stdlib.p.cmxa: $(OBJS:.cmo=.p.cmx)
22 $(CAMLOPT) -a -o stdlib.p.cmxa $(OBJS:.cmo=.p.cmx)