this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "coqdev@inria.fr"
3authors: "The Coq development team, INRIA, CNRS, University Paris Sud, University Paris 7, Ecole Polytechnique."
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"
8
9depends: [
10 "ocaml" {>= "4.02.3"}
11 "camlp5"
12 "coq" {= "8.7.2"}
13 "lablgtk"
14 "conf-gtksourceview"
15]
16build: [
17 [
18 "./configure"
19 "-configdir" "%{lib}%/coq/config"
20 "-prefix" prefix
21 "-mandir" man
22 "-docdir" doc
23 "-libdir" "%{lib}%/coq"
24 "-datadir" "%{share}%/coq"
25 "-camlp5dir" "%{camlp5:lib}%"
26 ]
27 [make "-j%{jobs}%" "coqide-files"]
28 [make "-j%{jobs}%" "coqide-opt"]
29]
30install: [
31 make
32 "install-ide-bin"
33 "install-ide-files"
34 "install-ide-info"
35 "install-ide-devfiles"
36]
37remove: ["rm" "-rf" "%{lib}%/coq/ide" "%{doc}%/FAQ-CoqIde"]
38synopsis: "IDE of the Coq formal proof management system."
39flags: light-uninstall
40url {
41 src: "https://github.com/coq/coq/releases/download/V8.7.2/coq-8.7.2.tar.gz"
42 checksum: [
43 "sha256=ef25c3979f69b891d40a8776b96059229b06de3d037923de9c657faf8ede78d2"
44 "md5=470c8f2bd74a085e1f71d5e4770e64e7"
45 ]
46}
47extra-source "coqide.install" {
48 src:
49 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coqide/coqide.install.8.7.2"
50 checksum: [
51 "sha256=47a89b06973a5a6625db0c74e7f03679bdd221ed8cad83687916d8f084301009"
52 "md5=d005cda8cb7888fbea94c5416dcb31bc"
53 ]
54}