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

SUBDIRS = early late

@cc_wrapper_mk@

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

if CXX_FAMILY_KAI
AM_CXXFLAGS = --one_instantiation_per_object
endif

noinst_LIBRARIES = libsharing.a
libsharing_a_SOURCES =				\
	Tracer.h				\
	count.cc				\
	count.h					\
	enact-bits.cc				\
	enact-context.cc			\
	enact-context.h				\
	enact-decl.cc				\
	enact-traverse.cc			\
	phase.cc				\
	solution.cc				\
	solution.h				\
	solver.cc				\
	solver.h				\
	stats-map.h				\
	stats.cc				\
	stats.h

libsharing.a: $(libsharing_a_OBJECTS) $(libsharing_a_DEPENDENCIES)
if CXX_FAMILY_KAI
	$(CXXLINK) $(libsharing_a_OBJECTS) $(libsharing_a_LIBADD)
else
	-rm -f libsharing.a
	$(AR) cru libsharing.a $(libsharing_a_OBJECTS) $(libsharing_a_LIBADD)
	$(RANLIB) libsharing.a
endif