From 7705be5fada6c02f8c787005e63ec78a60cc918d Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Tue, 11 Dec 2018 11:13:40 +0100 Subject: [PATCH 1/2] Promote disabling the lint test Signed-off-by: Rudi Grinberg --- test/blackbox-tests/dune.inc | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/test/blackbox-tests/dune.inc b/test/blackbox-tests/dune.inc index c041be49287a..22b2ec64f43d 100644 --- a/test/blackbox-tests/dune.inc +++ b/test/blackbox-tests/dune.inc @@ -1262,7 +1262,6 @@ (alias lib-available) (alias lib-errors) (alias link-deps) - (alias lint) (alias loop) (alias macro-expand-error) (alias menhir) @@ -1404,7 +1403,6 @@ (alias lib-available) (alias lib-errors) (alias link-deps) - (alias lint) (alias loop) (alias macro-expand-error) (alias merlin-tests) @@ -1453,6 +1451,6 @@ (alias wrapped-false-main-module-name) (alias wrapped-transition))) -(alias (name runtest-disabled) (deps (alias envs-and-contexts))) +(alias (name runtest-disabled) (deps (alias envs-and-contexts) (alias lint))) (alias (name runtest-js) (deps (alias js_of_ocaml))) \ No newline at end of file From cb0f68cac7ee66fd8d5cadb1b6c5c907253758a4 Mon Sep 17 00:00:00 2001 From: Anil Madhavapeddy Date: Tue, 11 Dec 2018 11:04:36 +0000 Subject: [PATCH 2/2] README: update to reflect that dune 1.0 is now out Signed-off-by: Anil Madhavapeddy --- README.md | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 49fa9073589a..effc41f0608f 100644 --- a/README.md +++ b/README.md @@ -137,8 +137,6 @@ Status ------ Dune is now fairly stable and is used by the majority of packages on -opam. The package is still in beta version as we are waiting for the -renaming from Jbuilder to dune before releasing version 1.0.0. Note -that dune will have backward compatibility with Jbuilder, in particular -existing Jbuilder projects will continue to be buildable with -dune. +opam. Note that dune retains backward compatibility with Jbuilder, and +in particular existing Jbuilder projects will continue to be buildable +with dune.