FSTAR_ROOT ?= ../../../../../
FSTAR_CONTRIB := $(FSTAR_ROOT)/contrib
OTHERFLAGS += --include $(FSTAR_CONTRIB)/Platform/fst --include $(FSTAR_CONTRIB)/CoreCrypto/fst

FSTAR_FILES := Ex01a.fst \
Ex02a.fst \
Ex03a.fst \
Ex03b.fst \
Ex03c.fst \
Ex04a.fst \
Ex04b.fst \
Ex04c.fst \
Ex04e.fst \
Ex04f.fst \
Ex04g.fst \
Ex04h.fst \
Ex05a.fst \
Ex05b.fst \
Ex06a.fst \
Ex06b.fst \
Ex06c.fst \
Ex06d.fst \
Ex06e.fst \
Ex07a.fst \
Ex07b.fst \
Ex07c.fst \
Ex07d.fst \
Ex10a.fst \
Ex10b.fst \
Ex11a.fst \
Ex12.MAC.fst \
Ex12a1.Cap.fst \
Ex12a2.Cap.fst \
Ex12b1.Format.fst \
Ex12b2.Format.fst \
Ex12b.RPC.fst \
Ex12d.Pad.fst \
Ex12e.Pad.fst \
Ex12f.TMAC.fst \
Ex12g.TMAC2.fst \
EtM.Plain.fst \
EtM.CPA.fst \
EtM.MAC.fst \
EtM.AE.fst \
LowStar.Ex1.fst \
LowStar.Ex2.fst \
LowStar.Ex3.fst

include $(FSTAR_ROOT)/mk/test.mk

Ex01a-ocaml: $(OUTPUT_DIR)/Ex01a.exe
	-./$(OUTPUT_DIR)/Ex01a.exe
