-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
24 lines (24 loc) · 1.11 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
opam-version: "2.0"
maintainer: "Gabriel Scherer <gabriel.scherer@gmail.com>"
authors: ["POSIX"]
homepage: "https://github.com/ocaml/opam-repository/"
bug-reports: "https://github.com/ocaml/opam-repository/issues"
license: "GPL-1.0-or-later"
build: [["which" "time"]]
depends: ["conf-which" {build}]
depexts: [
["system:time"] {os = "win32" & os-distribution = "cygwinports"}
["time"] {os-distribution = "cygwin"}
["time"] {os-family = "debian"}
["time"] {os-family = "ubuntu"}
["time"] {os-distribution = "centos"}
["time"] {os-distribution = "fedora"}
["time"] {os-distribution = "ol"}
["time"] {os-family = "suse" | os-family = "opensuse"}
["time"] {os-family = "arch"}
# busybox time is installed by default on Alpine, GNU-time is time@testing
]
synopsis: "Virtual package relying on the \"time\" command"
description:
"This package can only install if the \"time\" command is installed on the system. It does not enforce having the GNU utility: it may find a BSD time command (BSD, OSX) or a Busybox command (Alpine) that have different options. The only common functionality is \"time <command>\"."
flags: conf