Maintainers	landonf
Categories	devel lang
Homepage	https://fstar-lang.org
Platforms	darwin
Variants	-

Subport(s) (5)

"fstar-devel" depends on

lib (0)

run (0)

build (1)

test (0)

extract (0)

patch (0)

fetch (0)

Ports that depend on "fstar-devel"

No ports

Port notes

To select fstar-devel as your default F* toolchain, please run:

sudo port select fstar fstar-devel

To use your default F* toolchain with most standard Makefile-based F* projects,
pass FSTAR_HOME to the build as either an environmental variable,
or make(1) parameter:

FSTAR_HOME="${prefix}/libexec/fstar/home"

Alternatively, you may use fstar-devel explicitly:

FSTAR_HOME="${prefix}/libexec/fstar-devel/home"