INCLUDES = -I$(top_srcdir)/src -I$(top_srcdir)/src/params
METASOURCES = AUTO
noinst_LIBRARIES = libinstance.a
noinst_HEADERS = cconstraint.h cinstance.h cinstancereduite.h ctype1.h ctype2.h
libinstance_a_SOURCES = cconstraint.cpp cinstance.cpp cinstancereduite.cpp \
	ctype1.cpp ctype2.cpp