CXX = g++
CXXFLAGS = -O3 -Wall -W
LFLAGS =
SRCS = main.cc smodels.cc stack.cc dcl.cc atomrule.cc read.cc \
queue.cc timer.cc list.cc improve.cc program.cc api.cc stable.cc \
tree.cc denant.cc
OBJS = $(SRCS:.cc=.o)

smodels: $(OBJS)
	$(CXX) $(LFLAGS) -o smodels $(OBJS)

%.o: %.cc
	$(CXX) $(CXXFLAGS) -c $<

.PHONY: clean all strip
clean:
	rm -f core $(OBJS)

all:
	rm -f $(OBJS); $(MAKE) smodels

strip:
	strip smodels
