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"
8patches: [ "0001_make_install_static_plug.patch"
9 "0002_alpine_linux.patch"
10 "0003_fix_num_ocamlfind_detection.patch"
11 "0004_fix_more_num.patch"
12 ]
13depopts: [
14 "coq-native"
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 "-coqide" "no"
27 "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
28 ]
29 [make "-j%{jobs}%"]
30 [make "-j%{jobs}%" "byte"]
31]
32install: [
33 [make "install"]
34 [make "install-byte"]
35]
36remove: [
37 ["rm" "-R" "%{lib}%/coq" "%{share}%/coq"]
38 ["rm"
39 "%{man}%/man1/coqc.1"
40 "%{man}%/man1/coqchk.1"
41 "%{man}%/man1/coqdep.1"
42 "%{man}%/man1/coqdoc.1"
43 "%{man}%/man1/coqide.1"
44 "%{man}%/man1/coq_makefile.1"
45 "%{man}%/man1/coqmktop.1"
46 "%{man}%/man1/coq-tex.1"
47 "%{man}%/man1/coqtop.1"
48 "%{man}%/man1/coqtop.byte.1"
49 "%{man}%/man1/coqtop.opt.1"
50 "%{man}%/man1/coqwc.1"
51 "%{man}%/man1/gallina.1"
52 "%{share}%/texmf/tex/latex/misc/coqdoc.sty"
53 "%{share}%/emacs/site-lisp/coq-font-lock.el"
54 "%{share}%/emacs/site-lisp/coq-inferior.el"
55 "%{share}%/emacs/site-lisp/gallina-db.el"
56 "%{share}%/emacs/site-lisp/gallina.el"
57 "%{share}%/emacs/site-lisp/gallina-syntax.el"
58 ]
59]
60depends: [
61 "ocaml" {>= "4.02.3" & < "4.10"}
62 "ocamlfind" {build}
63 "camlp5" {< "8"}
64 "num"
65 "conf-findutils" {build}
66]
67synopsis: "Formal proof management system"
68flags: light-uninstall
69url {
70 src: "https://github.com/coq/coq/releases/download/V8.7.1/coq-8.7.1.tar.gz"
71 checksum: [
72 "sha256=d381b38522cee0e73804ee3a763648f602eda942312c18d333f9567c56dbfd03"
73 "md5=15347f45471e2d5277c60585297cd3e0"
74 ]
75}
76extra-source "coq.install" {
77 src:
78 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/coq.install.8.7.1+2"
79 checksum: [
80 "sha256=572ff0cb71d3bfba10a84952f4594733ee0c120c40f25df5cd0ddf708b55f3c6"
81 "md5=b85e0eb533d6836c15581f0e5cb0ebc2"
82 ]
83}
84extra-source "0004_fix_more_num.patch" {
85 src:
86 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/0004_fix_more_num.patch"
87 checksum: [
88 "sha256=59c7ac2be5c46cf028f5e03257fcc26ba43ba86f6bbbf9c96c1cfcc5c766a741"
89 "md5=4e9d6e85e25d9b6c732afbc63b1e5433"
90 ]
91}
92extra-source "0003_fix_num_ocamlfind_detection.patch" {
93 src:
94 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/0003_fix_num_ocamlfind_detection.patch"
95 checksum: [
96 "sha256=e335b2c7aabd47662070c02dd4d5f854eca149b9fa0d82ebed949bd8a2d4e288"
97 "md5=00e16fbfe56dfc21f985e9aead3e74da"
98 ]
99}
100extra-source "0002_alpine_linux.patch" {
101 src:
102 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/0002_alpine_linux.patch"
103 checksum: [
104 "sha256=cddae2e0544fcb6f561566d7fe63a445b5c0e7457aa4f4c5e24cfb4a5cb7a502"
105 "md5=4e57a3fca795f4dc27e7136c9325bfd3"
106 ]
107}
108extra-source "0001_make_install_static_plug.patch" {
109 src:
110 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/0001_make_install_static_plug.patch"
111 checksum: [
112 "sha256=0ebbbfa125dad665af5a577fd1e2ad86d9e9a32ce12d1f0db6952ba92ad70385"
113 "md5=541273f7b7b584fc5f62e65162389bd1"
114 ]
115}