← all formulas
rocq-elpi
Elpi extension language for Rocq
- Version
- v3.3.1
- License
- LGPL-2.1-or-later
- Tap
- homebrew/core
- Bottle
- available
- Revision
- 1
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install rocq-elpiCaveats
Rocq needs help finding ML files installed inside `$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib`.
This can be done by passing `-I $HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib` as an argument.
Alternatively, you can add the directory to OCAMLPATH, e.g.
export OCAMLPATH="$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib:$OCAMLPATH"
or use the included findlib configuration file, e.g.
export OCAMLFIND_CONF="$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib/findlib.conf"