this repo has no description
1opam-version: "2.0"
2maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"
3homepage: "https://github.com/westes/flex"
4bug-reports: "https://github.com/westes/flex/issues"
5license: "https://github.com/westes/flex/blob/master/COPYING"
6authors: "The Flex Project"
7build-env: [
8 [HOMEBREW_NO_AUTO_UPDATE = "1"]
9]
10build: [
11 ["flex" "--version"] {os-family != "homebrew"}
12 ["sh" "-c" "\"$(brew --prefix flex)/bin/flex\" --version"] {os-family = "homebrew"}
13]
14install: [
15 # Note: Mac homebrew installs flex to a path not in PATH, so symlink it in the opam switch bin folder
16 # This affects only the current opam switch and is thus least invasive.
17 ["sh" "-c" "ln -s \"$(brew --prefix flex)/bin/flex\" \"%{bin}%/flex\""] {os-family = "homebrew"}
18]
19depexts: [
20 # The list of supported os-family names can be derived from the opam sources (thanks Enrico)
21 # https://github.com/ocaml/opam/blob/6aefe95e60084e63d01b1c7c028b6b77de1f839f/src/state/opamSysInteract.ml#L84-L123
22 # The package name for many Linux/BSD/macOS/cygwin/msys platforms can be searched here (thanks Théo)
23 # https://repology.org specifically https://repology.org/project/flex/versions
24 # Not listed above but supported by opam are oraclelinix, ol, rhel
25 # On macOS flex seems to be installed by default, but the homebrew and macports package is listed anyway
26 [ "flex" ] {os-family = "alpine"}
27 [ "flex" ] {os-family = "amzn"}
28 [ "flex" ] {os-family = "arch"}
29 [ "flex" ] {os-family = "archlinux"}
30 [ "flex" ] {os-family = "centos"}
31 [ "flex" ] {os-family = "debian" | os-family = "ubuntu"}
32 [ "flex" ] {os-family = "fedora"}
33 [ "sys-devel/flex" ] {os-family = "gentoo"}
34 [ "flex" ] {os-family = "homebrew"}
35 [ "flex" ] {os-family = "macports"}
36 [ "flex" ] {os-family = "mageia"}
37 [ "flex" ] {os-family = "suse" | os-family = "opensuse"}
38 [ "textproc/flex" ] {os-family = "bsd" & os-distribution = "freebsd"}
39]
40synopsis: "Virtual package relying on GNU flex"
41description: "This package can only install if GNU flex is installed on the system."
42# Not technically a conf package for homebrew (has an install step)
43# flags: conf