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