this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Maxime Dénès <mail@maximedenes.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"
8depopts: [
9 "coq-native"
10]
11build: [
12 [
13 "./configure"
14 "-configdir" "%{lib}%/coq/config"
15 "-prefix" prefix
16 "-mandir" man
17 "-docdir" doc
18 "-libdir" "%{lib}%/coq"
19 "-datadir" "%{share}%/coq"
20 "-usecamlp5"
21 "-camlp5dir" "%{camlp5:lib}%"
22 "-coqide" "no"
23 "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
24 ]
25 [make "-j%{jobs}%"]
26 [make "-j%{jobs}%" "byte"]
27]
28install: [
29 [make "install"]
30 [make "install-byte"]
31]
32remove: [
33 ["rm" "-R" "%{lib}%/coq" "%{share}%/coq"]
34 ["rm"
35 "%{man}%/man1/coqc.1"
36 "%{man}%/man1/coqchk.1"
37 "%{man}%/man1/coqdep.1"
38 "%{man}%/man1/coqdoc.1"
39 "%{man}%/man1/coqide.1"
40 "%{man}%/man1/coq_makefile.1"
41 "%{man}%/man1/coqmktop.1"
42 "%{man}%/man1/coq-tex.1"
43 "%{man}%/man1/coqtop.1"
44 "%{man}%/man1/coqtop.byte.1"
45 "%{man}%/man1/coqtop.opt.1"
46 "%{man}%/man1/coqwc.1"
47 "%{man}%/man1/gallina.1"
48 "%{share}%/texmf/tex/latex/misc/coqdoc.sty"
49 "%{share}%/emacs/site-lisp/coq-font-lock.el"
50 "%{share}%/emacs/site-lisp/coq-inferior.el"
51 "%{share}%/emacs/site-lisp/gallina-db.el"
52 "%{share}%/emacs/site-lisp/gallina.el"
53 "%{share}%/emacs/site-lisp/gallina-syntax.el"
54 ]
55]
56depends: [
57 "ocaml" {>= "4.02.3" & < "4.10"}
58 "ocamlfind"
59 "camlp5" {< "8"}
60 "num"
61 "conf-findutils" {build}
62]
63synopsis: "Formal proof management system"
64flags: light-uninstall
65url {
66 src: "https://github.com/coq/coq/releases/download/V8.7.0/coq-8.7.0.tar.gz"
67 checksum: [
68 "sha256=f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297"
69 "md5=4d79181b17c63fe5287aeaf6263077e7"
70 ]
71}
72extra-source "coq.install" {
73 src:
74 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/coq.install.8.7.0"
75 checksum: [
76 "sha256=572ff0cb71d3bfba10a84952f4594733ee0c120c40f25df5cd0ddf708b55f3c6"
77 "md5=b85e0eb533d6836c15581f0e5cb0ebc2"
78 ]
79}