Update the workspace file to use dune

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
xclerc · Dec 19, 2018 · 92b1844 · 92b1844
1 parent be50c24
commit 92b1844
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 13 deletions.
diff --git a/Makefile b/Makefile
@@ -28,7 +28,7 @@ test:
 
 .PHONY: all-supported-ocaml-versions
 all-supported-ocaml-versions:
-	dune runtest --workspace jbuild-workspace.dev
+	dune runtest --workspace dune-workspace.dev
 
 .PHONY: cinaps
 cinaps:

diff --git a/dune-workspace.dev b/dune-workspace.dev
@@ -0,0 +1,9 @@
+(lang dune 1.0)
+
+;; This file is used by `make all-supported-ocaml-versions`
+(context (opam (switch 4.02.3)))
+(context (opam (switch 4.03.0)))
+(context (opam (switch 4.04.2)))
+(context (opam (switch 4.05.0)))
+(context (opam (switch 4.06.1)))
+(context (opam (switch 4.07.0)))
diff --git a/jbuild-workspace.dev b/jbuild-workspace.dev