VERFILES=SfBasic SfLists SfPoly
FSTAR_HOME=../..
include ../Makefile.include

all: $(addsuffix .uver, $(VERFILES))
