LIBRARIES = -lc 

# GNU C Ccompiler
# CC = gcc

# optimized
CFLAGS = -O -DBSD

# save symbols for dbx
#CFLAGS = -g -DBSD

# gprof profiling
#CFLAGS = -pg -O -DBSD

FILES = av.c io.c clause.c formula.c misc.c share.c

OBJECTS = av.o io.o clause.o formula.o misc.o share.o

convert: main.o $(OBJECTS)
	$(CC) $(CFLAGS) main.o $(OBJECTS) $(LIBRARIES) -o convert
	size convert

lint:
	lint -DBSD main.c $(FILES)

extags: 
	ctags main.c $(FILES)

main.o $(OBJECTS): terms.h

clean:
	rm $(OBJECTS) main.o
