# Makefile for the states directory

include ../config


STATES=barestate.coq state.coq tactics.coq

install-library:
	$(INSTALL) -d $(STATES) $(COQLIB)/states
