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/coqide.opam    | 12 +++++++-----
 ide/dune-workspace |  6 ++++++
 2 files changed, 13 insertions(+), 5 deletions(-)
 create mode 100644 ide/dune-workspace

(limited to 'ide')

diff --git a/ide/coqide.opam b/ide/coqide.opam
index ba05b9edcf..897177b283 100644
--- a/ide/coqide.opam
+++ b/ide/coqide.opam
@@ -6,14 +6,16 @@ bug-reports: "https://github.com/coq/coq/issues"
 dev-repo: "https://github.com/coq/coq.git"
 license: "LGPL-2.1"
 
-available: [ocaml-version >= "4.02.3"]
+available: [ocaml-version >= "4.05.0"]
 
 depends: [
-  "dune"      { build }
-  "ocamlfind" { build }
-  "num"
-  "camlp5"
+  "dune"               { build & >= "1.2.0" }
   "coq"
+  "conf-gtksourceview"
+  "lablgtk"            {         >= "2.18.5" }
 ]
 
+build-env: [
+  [ COQ_CONFIGURE_PREFIX = "%{prefix}" ]
+]
 build: [ [ "dune" "build" "-p" name "-j" jobs ] ]
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