# Makefile for cup

OBJECTS = main.o jpsgsub.o mainsub.o modular.o new.o print.o read.o\
	 refute.o unify.o defsysp.o syspred1.o\
	 syspred2.o trans.o tr_sub.o tr_split.o
CFLAGS = -g
CC = cc
FLAGS = -lm

cup: $(OBJECTS)
	$(CC) $(CFLAGS) -o cup3 $(OBJECTS) $(FLAGS)

$(OBJECTS): include.h
