CXX = g++
CXXFLAGS = -O3 -fno-strength-reduce -Wall
LFLAGS =
SRCS = main.cc dl.cc stack.cc dcl.cc \
atomrule.cc read.cc queue.cc timer.cc improve.cc
OBJS = main.o dl.o stack.o dcl.o atomrule.o \
read.o queue.o timer.o improve.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