diff options
| -rw-r--r-- | Changes | 14 | ||||
| -rw-r--r-- | Makefile.nt | 4 | ||||
| -rw-r--r-- | VERSION | 2 |
3 files changed, 14 insertions, 6 deletions
@@ -9,10 +9,6 @@ Runtime system: - PR#6517: use ISO C99 types {,u}int{32,64}_t in preference to our homegrown types {,u}int{32,64}. (Xavier Leroy) -- PR#6529: fix quadratic-time algorithm in Consistbl.extract. - (Xavier Leroy) -- PR#6554: fix race condition when retrieving backtraces (Jérémie Dimino, - Mark Shinwell). Standard library: - PR#6577: improve performance of %L, %l, %n, %S, %C format specifiers @@ -22,6 +18,16 @@ Type system: - PR#6374: allow "_ t" as a short-hand for "(_, _, ..) t" for n-ary type constructors (Alain Frisch) +OCaml 4.02.1: +------------- + +- PR#4099: Bug in Makefile.nt: won't stop on error (George Necula) +- PR#6466: Non-exhaustive matching warning message for open types is confusing +- PR#6529: fix quadratic-time algorithm in Consistbl.extract. + (Xavier Leroy) +- PR#6554: fix race condition when retrieving backtraces (Jérémie Dimino, + Mark Shinwell). + Ocaml 4.02.0: ------------- diff --git a/Makefile.nt b/Makefile.nt index 648c918df..16b53fe26 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -252,7 +252,9 @@ installbyt: cp expunge $(INSTALL_LIBDIR)/expunge.exe cp toplevel/topdirs.cmi $(INSTALL_LIBDIR) cd tools ; $(MAKEREC) install - for i in $(OTHERLIBRARIES); do $(MAKEREC) -C otherlibs/$$i install; done + for i in $(OTHERLIBRARIES); do \ + $(MAKEREC) -C otherlibs/$$i install || exit $$?; \ + done if test -n "$(WITH_OCAMLDOC)"; then (cd ocamldoc; $(MAKEREC) install); \ else :; fi if test -n "$(WITH_DEBUGGER)"; then (cd debugger; $(MAKEREC) install); \ @@ -1,4 +1,4 @@ -4.03.0+dev3-2014-08-29 +4.03.0+dev4-2014-09-26 # The version string is the first line of this file. # It must be in the format described in stdlib/sys.mli |