## Process this file with automake to produce Makefile.in	-*- makefile -*-

SUBDIRS = cqual local sharing

@cc_wrapper_mk@

INCLUDES =					\
	-D_NOTHREADS				\
	-I$(top_srcdir)				\
	-I$(srcdir)/cqual			\
	-I$(srcdir)/cqual/libcompat

if CXX_FAMILY_KAI
AM_CXXFLAGS = --one_instantiation_per_object
endif

noinst_LIBRARIES = libqual-infer.a
libqual_infer_a_SOURCES =			\
	EnactContext.cc				\
	EnactContext.h				\
	InferContext.h				\
	PhaseTimer.cc				\
	PhaseTimer.h				\
	QualMap.h				\
	QualSolver.h				\
	SolverInferContext.h			\
	StaleBindings.cc			\
	StaleBindings.h				\
	call.cc					\
	conservative.cc				\
	enact-decl.cc				\
	enact-dimension.cc			\
	enact-expr.cc				\
	enact-report.cc				\
	enact-traverse.cc			\
	enact-type.cc				\
	exported.cc				\
	identical.cc				\
	infer-assign.cc				\
	infer-decl.cc				\
	infer-expr.cc				\
	infer-stmt.cc				\
	infer-traverse.cc			\
	inferable.cc				\
	protect.cc				\
	rebind.cc				\
	similar.cc				\
	strong.cc				\
	subcast.cc				\
	unshare.cc				\
	weak.cc

libqual-infer.a: $(libqual_infer_a_OBJECTS) $(libqual_infer_a_DEPENDENCIES)
if CXX_FAMILY_KAI
	$(CXXLINK) $(libqual_infer_a_OBJECTS) $(libqual_infer_a_LIBADD)
else
	-rm -f $@
	$(AR) cru $@ $(libqual_infer_a_OBJECTS) $(libqual_infer_a_LIBADD)
	$(RANLIB) $@
endif

EXTRA_DIST = to-do