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 ++++
 1 file changed, 4 insertions(+)

(limited to 'Makefile.dune')

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
 
-- 
cgit v1.2.3