# (C) 1997 - 1998 Armin Biere
# $Id: Makefile,v 1.2 98/05/20 14:43:53 armin Exp $

all:
	cd src; make all
test:
	cd src; make test
clean:
	cd src; make clean
install:
	cd src; make install

.PHONY: all test clean install
