rc/sh/have

#!/usr/bin/env sh
# YES_ZSH YES_BASH YES_DASH YES_ASH

have() { ### @- print the result of `which` if the program is found, else simply return 1.
    ### ```
    ### export SOLVER="$(have kissat || have picosat || have cadical || have minisat)"
    ### ```
    if [ -z "$ZSH_VERSION" ]; then which -- "$1"; else whence -p -- "$1"; fi
} 2>/dev/null

[ -n "${preload+-}" ] || have "$@"
rename `has` to `have`; `has` is now silent i'm not sure why i was overengineering this function so much, but the code i deleted might still come in handy someday. 2021-10-14 13:56:10 -07:00			`#!/usr/bin/env sh`
merge compatibility lines RIP meaningful last-modified dates 2024-03-26 15:08:14 -07:00			`# YES_ZSH YES_BASH YES_DASH YES_ASH`
rename `has` to `have`; `has` is now silent i'm not sure why i was overengineering this function so much, but the code i deleted might still come in handy someday. 2021-10-14 13:56:10 -07:00
			have() { ### @- print the result of `which` if the program is found, else simply return 1.
			### ```
			`### export SOLVER="$(have kissat \|\| have picosat \|\| have cadical \|\| have minisat)"`
			### ```
			`if [ -z "$ZSH_VERSION" ]; then which -- "$1"; else whence -p -- "$1"; fi`
			`} 2>/dev/null`

			`[ -n "${preload+-}" ] \|\| have "$@"`