all: cnf2f kf2cnf

cnf2f: cnf2f.c
	$(CC) -O cnf2f.c -o cnf2f

kf2cnf: kf2cnf.c
	$(CC) -O kf2cnf.c -o kf2cnf

clean:
	rm -f cnf2f kf2cnf

install: cnf2f kf2cnf
	[ -d $$SATPLAN/bin ]
	cp cnf2f kf2cnf f2cnf f2kf kf2f kfn2cnf $$SATPLAN/bin
