FSTAR_EXE ?= fstar.exe

all:
	$(FSTAR_EXE) --ocamlenv dune build

clean:
	rm -rf _build extracted
