1# prefix to HOL examples 2LOC_PREFIX = $(HOLDIR)/examples 3 4PRE_INCLUDES = $(LOC_PREFIX)/algebra/ring 5 6ALGEBRA_INCLUDES = lib monoid group field polynomial finitefield 7INCLUDES = $(patsubst %,$(LOC_PREFIX)/algebra/%,$(ALGEBRA_INCLUDES)) 8