From 65da59b0bd464d67e092a61bf281fcf62fa987cb Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 27 Sep 2018 04:55:44 +0200
Subject: [dune] Provide workspace file will all OCaml builds tested in CI.

---
 Makefile.dune          |  4 ++++
 dev/dune-workspace.all | 11 +++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 dev/dune-workspace.all

diff --git a/Makefile.dune b/Makefile.dune
index 1e401a57b9..3585882142 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -15,6 +15,7 @@ help:
 	@echo "  - watch:   build all binaries and libraries [continuous build]"
 	@echo "  - release: build Coq in release mode"
 	@echo "  - apidoc:  build ML API documentation"
+	@echo "  - ocheck:  build for all supported OCaml versions [requires OPAM]"
 	@echo "  - clean:   remove build directory and autogenerated files"
 	@echo "  - help:    show this message"
 
@@ -28,6 +29,9 @@ states: voboot
 world: voboot
 	dune build $(DUNEOPT) @install
 
+ocheck: voboot
+	dune build $(DUNEOPT) @install --workspace=dev/dune-workspace.all
+
 watch: voboot
 	dune build $(DUNEOPT) @install -w
 
diff --git a/dev/dune-workspace.all b/dev/dune-workspace.all
new file mode 100644
index 0000000000..44857ed050
--- /dev/null
+++ b/dev/dune-workspace.all
@@ -0,0 +1,11 @@
+(lang dune 1.2)
+
+; Add custom flags here. Default developer profile is `dev`
+(env
+ (dev     (flags :standard -rectypes -w -9-27-50))
+ (release (flags :standard -rectypes)))
+
+(context (opam (switch 4.05.0)))
+(context (opam (switch 4.05.0+32bit)))
+(context (opam (switch 4.07.0)))
+(context (opam (switch 4.07.0+flambda)))
-- 
cgit v1.2.3