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: "Formal proof management system"
9
10depends: [
11 "ocaml" {>= "4.02.3" & < "4.10"}
12 "ocamlfind" {build}
13 "camlp5" {< "8"}
14 "num"
15 "conf-findutils" {build}
16]
17depopts: [
18 "coq-native"
19]
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]
40patches: ["ocaml408_compat.patch"]
41
42url {
43 src: "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1.tar.gz"
44 checksum: [
45 "sha256=87251327e8a1e25c6b08b5c0ae8e7cdf3a91a5f30832bbe74ccc4f0bde9618ea"
46 "md5=b0e47c588ca498073ad35eb5627a8852"
47 ]
48}
49extra-source "ocaml408_compat.patch" {
50 src:
51 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/ocaml408_compat.patch"
52 checksum: [
53 "sha256=794383389f0b954d88f87b4e43ba3c6f62c420547747c28a1012a9a661535920"
54 "md5=372b00769425baabc8bdc70b7c4fa8ae"
55 ]
56}
57extra-source "coq.install" {
58 src:
59 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/coq.install.8.9.1"
60 checksum: [
61 "sha256=154d5e0dd64190f0e1e8e56a4d02bb19029a2ec2b2af9d61adf04b1bba678c1b"
62 "md5=a5d0f9a35ef24aa3948a6960e657b206"
63 ]
64}