# when SICS_MAKE_VERSION is defined: use this makefile version
# if not: show usage (see makefile_)

include makefile_$(SICS_MAKE_VERSION)