From 3baa5388cd52afc5407e3c333fbc4aa6d149ddd3 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 4 Oct 2018 09:45:10 +0200
Subject: [ci] [dune] [opam] Fixes to OPAM and CI target.

The Dune `release` profile is used by OPAM so that should cover the
testing.

We also update the dependencies:

- camlp5: 7.01 had some bugs regarding grammar; we could use 7.02,
  however this version it is not in OPAM. So I guess that leaves us
  with 7.03 again.

- lablgtk < 2.18.5 does not support OCaml >= 4.05.0.
---
 ide/dune-workspace | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 ide/dune-workspace

(limited to 'ide/dune-workspace')

diff --git a/ide/dune-workspace b/ide/dune-workspace
new file mode 100644
index 0000000000..38875eac2c
--- /dev/null
+++ b/ide/dune-workspace
@@ -0,0 +1,6 @@
+(lang dune 1.2)
+
+; Add custom flags here. Default developer profile is `dev`
+(env
+ (dev     (flags :standard -rectypes -w -9-27-50+60))
+ (release (flags :standard -rectypes)))
-- 
cgit v1.2.3