this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "coqdev@inria.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"
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]
19build: [
20 [
21 "./configure"
22 "-configdir" "%{lib}%/coq/config"
23 "-prefix" prefix
24 "-mandir" man
25 "-docdir" doc
26 "-libdir" "%{lib}%/coq"
27 "-datadir" "%{share}%/coq"
28 "-camlp5dir" "%{camlp5:lib}%"
29 "-coqide" "no"
30 "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
31 ]
32 [make "-j%{jobs}%"]
33 [make "-j%{jobs}%" "byte"]
34]
35install: [
36 [make "install"]
37 [make "install-byte"]
38]
39remove: [
40 ["rm" "-rf" "%{lib}%/coq" "%{share}%/coq"]
41 ["rm" "-f"
42 "%{man}%/man1/coqc.1"
43 "%{man}%/man1/coqchk.1"
44 "%{man}%/man1/coqdep.1"
45 "%{man}%/man1/coqdoc.1"
46 "%{man}%/man1/coqide.1"
47 "%{man}%/man1/coq_makefile.1"
48 "%{man}%/man1/coqmktop.1"
49 "%{man}%/man1/coq-tex.1"
50 "%{man}%/man1/coqtop.1"
51 "%{man}%/man1/coqtop.byte.1"
52 "%{man}%/man1/coqtop.opt.1"
53 "%{man}%/man1/coqwc.1"
54 "%{man}%/man1/gallina.1"
55 "%{share}%/texmf/tex/latex/misc/coqdoc.sty"
56 "%{share}%/emacs/site-lisp/coq-font-lock.el"
57 "%{share}%/emacs/site-lisp/coq-inferior.el"
58 "%{share}%/emacs/site-lisp/gallina-db.el"
59 "%{share}%/emacs/site-lisp/gallina.el"
60 "%{share}%/emacs/site-lisp/gallina-syntax.el"
61 ]
62]
63synopsis: "Formal proof management system"
64flags: light-uninstall
65url {
66 src: "https://github.com/coq/coq/releases/download/V8.8.2/coq-8.8.2.tar.gz"
67 checksum: [
68 "sha256=f9f843b21fda18195fbf80c706bce8ac70ccb43cbd82f6916747dc6c22d05044"
69 "md5=5d693cd1953a0dd74920b43d183bc26c"
70 ]
71}
72extra-source "coq.install" {
73 src:
74 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq/coq.install.8.8.2"
75 checksum: [
76 "sha256=3b94d75cab2ff2acad5b297ff2980fa9056bcfddc28ce150876d3d29e7df9c7c"
77 "md5=6e8ff2905b5508b143a8acb16e3b5150"
78 ]
79}