coq/ide/dune-workspace, branch master The formal proof system [dune] Refactor files following advice from upstream. 2018-10-05T12:22:02+00:00 Emilio Jesus Gallego Arias 2018-10-04T17:05:44+00:00 edaf8d0a34993ac5fab373128a27417a620643d4 After some discussion upstream, I think that for the current a multi-package setup in a single repository this setup saves a bit work. The most problematic bit is the `-rectypes` flag; its status is not saved per-library so we must either duplicate the flags in the coqide scope (scope == dune-project file), or unify its scope with Coq. We do this last option as this seems like the easiest thing for now. Changes: - Move coqide.opam file to the root, use a single scope/`dune-project` file. - Remove `dune-workspace`, this should be owned by the developer / user. 
After some discussion upstream, I think that for the current a
multi-package setup in a single repository this setup saves a bit
work.

The most problematic bit is the `-rectypes` flag; its status is not
saved per-library so we must either duplicate the flags in the coqide
scope (scope == dune-project file), or unify its scope with Coq. We do
this last option as this seems like the easiest thing for now.

Changes:

- Move coqide.opam file to the root, use a single scope/`dune-project` file.
- Remove `dune-workspace`, this should be owned by the developer / user.
[ci] [dune] [opam] Fixes to OPAM and CI target. 2018-10-05T01:41:06+00:00 Emilio Jesus Gallego Arias 2018-10-04T07:45:10+00:00 3baa5388cd52afc5407e3c333fbc4aa6d149ddd3 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. 
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.