rocq-elpi

3.5.1

Elpi extension language for Rocq

Install

brew install rocq-elpi

Details

Homepage: github.com
Type: Formula
License: LGPL-2.1-or-later
Tap: homebrew/core

Sources

Supported platforms

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	3.5.1	File SHA-256 `42c494010c5595abaea6ba3994fcd5eed2911710adb01743104098c3135c3775`
Apple Silicon	Tahoe	3.5.1	File SHA-256 `a1cfa32c3238a2204461606ba25dcb57099e8771f6c12f743f56b05d0d692940`
Apple Silicon	Sequoia	3.5.1	File SHA-256 `88d009ed3d3086b1af7b4c654a211a68436459e85aed46d34160ef5c05d2d55e`
ARM64	Linux	3.5.1	File SHA-256 `0de5c98a1eda517d3a4cddf30010542b74f8383ae4cfdcab79f5ec66b14c69da`
x86_64	Linux	3.5.1	File SHA-256 `099ce036f40dfaa46c65adddb09801c0c9aff39ec3d9ba024e3375bba5a068ec`

Dependencies

ocaml-findlib
rocq

Package data

30-day installs: 2
90-day installs: 94
365-day installs: 180

Caveats

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"