FSTAR_HOME ?= ../..

include ../Makefile.boot.common
