This port is obsolete. It has been replaced by fstar.
kremlin-devel (lang/fstar) Updated: 3 years, 2 months ago Add to my watchlist
Obsolete port, replaced by fstarThis port has been replaced by fstar.
Version: 20210824-b95d1ac License: none
GitHub
| Maintainers | landonf |
| Categories | devel lang |
| Homepage | https://fstar-lang.org |
| Platforms | darwin |
| Variants | - |
Subport(s) (5)
"kremlin-devel" depends on
lib (0)
run (0)
build (1)
test (0)
extract (0)
patch (0)
fetch (0)
Ports that depend on "kremlin-devel"
No ports
Port notes
To select kremlin-devel as your default KreMLin toolchain, please run:
sudo port select kremlin kremlin-devel
To use your default KreMLin toolchain with most standard Makefile-based F*/KreMLin projects,
pass KREMLIN_HOME to the build as either an environmental variable,
or make(1) parameter:
KREMLIN_HOME="${prefix}/libexec/kremlin/home"
Alternatively, you may use kremlin-devel explicitly:
KREMLIN_HOME="${prefix}/libexec/kremlin-devel/home"
Port Health:
Loading Port Health