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