diff options
| author | Erik Martin-Dorel | 2019-11-04 13:45:40 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-11-04 13:45:40 +0100 |
| commit | 4bc893d9316689e14200ec7f1e57c7bf8a1d64cc (patch) | |
| tree | ee8df109ff0d24cf31d2d2be6c8114e16f7a78bc /coqide-server.opam | |
| parent | 634cb7b8a07a34fc29d074591091f0a6170f7bff (diff) | |
fix(*.opam): Add missing version
"dev" was not implied, and this can cause the following issues:
--8<---------------cut here---------------start------------->8---
$ docker run --rm -it coqorg/base:latest
coq@…:~$ opam update
coq@…:~$ git clone https://github.com/coq/coq.git
Cloning into 'coq'...
coq@…:~$ cd coq
coq@…:~/coq$ opam pin add -n -k path coq .
[coq.8.10.1] synchronised from file:///home/coq/coq
coq is now pinned to file:///home/coq/coq (version 8.10.1)
# issue 1. opam picks the first version he finds for coq from repos…
coq@…:~/coq$ mv coq.opam foo.opam
coq@…:~/coq$ opam pin add -n -k path foo .
Package foo does not exist, create as a NEW package? [Y/n] y
[foo.~dev] synchronised from file:///home/coq/coq
foo is now pinned to file:///home/coq/coq (version ~dev)
# issue 2. if none is found, opam sticks to some "~dev" version…
--8<---------------cut here---------------end--------------->8---
Diffstat (limited to 'coqide-server.opam')
| -rw-r--r-- | coqide-server.opam | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coqide-server.opam b/coqide-server.opam index 5712ca08c2..5da533ea6b 100644 --- a/coqide-server.opam +++ b/coqide-server.opam @@ -18,6 +18,8 @@ bug-reports: "https://github.com/coq/coq/issues" dev-repo: "git+https://github.com/coq/coq.git" license: "LGPL-2.1" +version: "dev" + depends: [ "dune" { build & >= "1.10.0" } "coq" { = version } |