# Makefile
# Neil Moore <neil@cs.uky.edu>
# 15 Jun 2000
#
# Part of lpsms.  See COPYRIGHT for copyright information.

include ../MCONF

VERSION = 1.2.0
CFLAGS:=-DVERSION=\"$(VERSION)\" $(CFLAGS)

.PHONY: all clean dist install doc

BINS = lderes
MANS = lderes.man
PS   = $(MANS:.man=.ps)
HDRS = SimpleDefaultTheory.h default_types.h global.h hash.h parse.h \
       prover.h search.h token.h
SRCS = main.c parse.c SimpleDefaultTheory.c search.c default_types.c \
       prover.c hash.c
OBJS = $(SRCS:.c=.o)
MISC = Makefile README

all: $(BINS)

doc: $(PS)
	if [ -n "$(PS)" ]; then cp $(PS) ../ps; fi

lderes: $(OBJS)
	$(CC) $(LDFLAGS) -o lderes $(OBJS)

dist: $(MANS) $(HDRS) $(SRCS) $(MISC)
	-mkdir dist
	cp $(MANS) $(HDRS) $(SRCS) $(MISC) dist/

install: $(BINS) $(MANS)
	-mkdir -p $(BIN_PATH) 2>/dev/null
	-mkdir -p $(MAN_PATH) 2>/dev/null
	for file in "" $(BINS); do \
	  if [ -n "$$file" ]; then \
	    cp $$file $(BIN_PATH) || exit 1; \
	    if [ -n "$(DO_CHOWN)" ]; then \
	      chown $(BIN_OWNER):$(BIN_GROUP) $(BIN_PATH)/$$file || exit 1; \
	    fi; \
	    chmod $(BIN_MODE) $(BIN_PATH)/$$file || exit 1; \
	  fi; \
	done
	for file in "" $(MANS); do \
	  if [ -n "$$file" ]; then \
	    manname=`basename $$file .man`.$(MAN_SECTION); \
	    cp $$file $(MAN_PATH)/$$manname || exit 1; \
	    if [ -n "$(DO_CHOWN)" ]; then \
	      chown $(MAN_OWNER):$(MAN_GROUP) $(MAN_PATH)/$$manname || exit 1; \
	    fi; \
	    chmod $(MAN_MODE) $(MAN_PATH)/$$manname || exit 1; \
	  fi; \
	done

clean:
	-rm lderes *.o

