this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "michipili@gmail.com"
3authors: "Michael Grünewald"
4license: "CeCILL-B"
5homepage: "https://github.com/michipili/getopts"
6bug-reports: "https://github.com/michipili/getopts/issues"
7dev-repo: "git+https://github.com/michipili/getopts.git"
8tags: [
9 "cli"
10 "system"
11]
12build: [
13 ["./configure" "--prefix" prefix]
14 [conf-bmake:path "-I%{bsdowl:share}%" "all"]
15]
16install: [
17 [conf-bmake:path "-I%{bsdowl:share}%" "install"]
18]
19remove: [
20 ["ocamlfind" "remove" "getopts"]
21 ["rm" "-rf" "%{share}%/doc/getopts"]
22]
23depends: [
24 "ocaml"
25 "broken" {>= "0.4.2"}
26 "bsdowl" {>= "3.0.0"}
27 "conf-bmake"
28 "lemonade" {>= "0.2.1" & < "0.4.0"}
29 "ocamlfind"
30]
31synopsis: "Analyse command line arguments"
32description: "WWW: https://github.com/michipili/getopts"
33flags: light-uninstall
34url {
35 src:
36 "https://github.com/michipili/getopts/releases/download/v0.3.2/getopts-0.3.2.tar.xz"
37 checksum: [
38 "sha256=46814c689518a32e91ea8507fb493e2785357a14f9abaaa51a0613958c8d3471"
39 "md5=37a552996dd5417b8c415ec6b332dce7"
40 ]
41}