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"
8
9depends: [
10 "ocaml" {>= "4.02.3" & < "4.10"}
11 "ocamlfind" {build}
12 "camlp5" {< "8"}
13 "num"
14 "conf-findutils" {build}
15]
16depopts: [
17 "coq-native"
18]
19patches: [ "Makefile.checker.patch" ]
20build: [
21 [
22 "./configure"
23 "-configdir" "%{lib}%/coq/config"
24 "-prefix" prefix
25 "-mandir" man
26 "-docdir" doc
27 "-libdir" "%{lib}%/coq"
28 "-datadir" "%{share}%/coq"
29 "-camlp5dir" "%{camlp5:lib}%"
30 "-coqide" "no"
31 "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
32 ]
33 [make "-j%{jobs}%"]
34 [make "-j%{jobs}%" "byte"]
35]
36install: [
37 [make "install"]
38 [make "install-byte"]
39]
40remove: [
41 ["rm" "-rf" "%{lib}%/coq" "%{share}%/coq"]
42 ["rm" "-f"
43 "%{man}%/man1/coqc.1"
44 "%{man}%/man1/coqchk.1"
45 "%{man}%/man1/coqdep.1"
46 "%{man}%/man1/coqdoc.1"
47 "%{man}%/man1/coqide.1"
48 "%{man}%/man1/coq_makefile.1"
49 "%{man}%/man1/coqmktop.1"
50 "%{man}%/man1/coq-tex.1"
51 "%{man}%/man1/coqtop.1"
52 "%{man}%/man1/coqtop.byte.1"
53 "%{man}%/man1/coqtop.opt.1"
54 "%{man}%/man1/coqwc.1"
55 "%{share}%/texmf/tex/latex/misc/coqdoc.sty"
56 ]
57]
58synopsis: "Formal proof management system"
59flags: light-uninstall
60url {
61 src: "https://github.com/coq/coq/releases/download/V8.9.0/coq-8.9.0.tar.gz"
62 checksum: [
63 "sha256=8bd6e2bc8d79f96df19b8888ebfbdfdbe50fa9cd3fb969c13b610f7d05070ff0"
64 "md5=490c89609c1271fe7f20e6ea1bd107b5"
65 ]
66}
67extra-source "coq.install" {
68 src:
69 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/coq.install.8.9.0"
70 checksum: [
71 "sha256=154d5e0dd64190f0e1e8e56a4d02bb19029a2ec2b2af9d61adf04b1bba678c1b"
72 "md5=a5d0f9a35ef24aa3948a6960e657b206"
73 ]
74}
75extra-source "Makefile.checker.patch" {
76 src:
77 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/Makefile.checker.patch"
78 checksum: [
79 "sha256=75f447cc1edfdb5f106c9f1398dafdd35000ce59961dd500ddaa2ab3a12d9d5f"
80 "md5=33fe29936deec207f4e197d27073f2e1"
81 ]
82}