this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "coqdev@inria.fr"
3authors: "The Coq development team, INRIA, CNRS, and contributors."
4homepage: "https://coq.inria.fr/"
5bug-reports: "https://github.com/coq/coq/issues"
6dev-repo: "git+https://github.com/coq/coq.git"
7license: "LGPL-2.1-only"
8synopsis: "IDE of the Coq formal proof management system"
9
10depends: [
11 "ocaml" {>= "4.02.3"}
12 "camlp5"
13 "coq" {= version}
14 "lablgtk"
15 "conf-gtksourceview"
16]
17build: [
18 [
19 "./configure"
20 "-configdir" "%{lib}%/coq/config"
21 "-prefix" prefix
22 "-mandir" man
23 "-docdir" doc
24 "-libdir" "%{lib}%/coq"
25 "-datadir" "%{share}%/coq"
26 "-camlp5dir" "%{camlp5:lib}%"
27 ]
28 [make "-j%{jobs}%" "coqide-files"]
29 [make "-j%{jobs}%" "coqide-opt"]
30]
31install: [
32 make
33 "install-ide-bin"
34 "install-ide-files"
35 "install-ide-info"
36 "install-ide-devfiles"
37]
38
39url {
40 src: "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1.tar.gz"
41 checksum: [
42 "sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea"
43 "md5=b0e47c588ca498073ad35eb5627a8852"
44 ]
45}
46extra-source "coqide.install" {
47 src:
48 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coqide/coqide.install.8.9.1"
49 checksum: [
50 "sha256=47a89b06973a5a6625db0c74e7f03679bdd221ed8cad83687916d8f084301009"
51 "md5=d005cda8cb7888fbea94c5416dcb31bc"
52 ]
53}