include $(shell git rev-parse --show-toplevel)/fstar-helpers/Makefile.base

