#
# File: Makefile
# Author: K.R. Sloan
# Last Modified: 11 January 1990
# Purpose: maintain the TeX convertors

PROGRAMS = wff2TeX

INCLUDE = ../../include

DEST = ../../bin

# Path on this system to the wff directory
WFF = ../..

#CFLAGS = -O -f68881 -I${INCLUDE}
CFLAGS = -O -I${INCLUDE}

all: ${PROGRAMS}

wff2TeX: wff2TeX.c
	cc ${CFLAGS} -o wff2TeX wff2TeX.c ${WFF}/bin/wff.o -lc -lm
	
install: all
	cp ${PROGRAMS} ${DEST}
	chmod og+rx ${DEST}/*
	chmod g+w ${DEST}/*
	ls -l ${DEST}

clean: 
	rm -f ${PROGRAMS} *.o *.bak *.ckp core *~ #*
	ls -l
