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.

---
 dev/dune-workspace.all | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 dev/dune-workspace.all

(limited to 'dev')

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