# Makefile for cu-Prolog	(ICOT free software)

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
# for debug:
#CFLAGS = -g
# for gprof:
#CFLAGS = -pg -g
# optimization:
#CFLAGS = -O4
CC = cc
FLAGS = -lm

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

$(OBJECTS): include.h
