coq/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.
Merge PR #8579: [dune] [merlin] Fix some usability issues. 2018-10-01T13:03:49+00:00 Maxime Dénès 2018-10-01T13:03:49+00:00 c0c3d7f8953323cd5613b0f6c3217f1451a5a060 






[dune] Enable warning 60 [unused local module]
2018-09-29T16:39:07+00:00

Emilio Jesus Gallego Arias

2018-09-29T16:39:07+00:00

f4e53e23a060f4d57566fc2cc7bd95fd893a7fe8

This corrects a discrepancy with the make-based system.





This corrects a discrepancy with the make-based system.







[dune] [merlin] Fix some usability issues.
2018-09-27T17:58:54+00:00

Emilio Jesus Gallego Arias

2018-09-27T14:39:39+00:00

f0c7587ea53b855ca58ce73d3e25f7e81215a722

As suggested on Gitter by @maximedenes we improve documentation and
update Kernel's `.merlin` so it actually reports on the stricter set
of warnings.

We also set the language version to the proper one so users will get a
better error message [the fact that we can use `(env_var ...)` with
the wrong Dune version is a Dune bug indeed].





As suggested on Gitter by @maximedenes we improve documentation and
update Kernel's `.merlin` so it actually reports on the stricter set
of warnings.

We also set the language version to the proper one so users will get a
better error message [the fact that we can use `(env_var ...)` with
the wrong Dune version is a Dune bug indeed].







[dune] [ci] Fix and test release profile + use 1.1 dune-workspace
2018-09-06T18:05:02+00:00

Emilio Jesus Gallego Arias

2018-09-03T13:29:53+00:00

69e2490396c1f664350a957149d94ac9894d3c23

Dune 1.1 allows us to define the `env` flags in the workspace file,
which is a better place than the current situation.

Along the way, We fix the build flags for release mode [missing
`-rectypes` and add a `release` build profile CI job.





Dune 1.1 allows us to define the `env` flags in the workspace file,
which is a better place than the current situation.

Along the way, We fix the build flags for release mode [missing
`-rectypes` and add a `release` build profile CI job.