all: build copy
pypy: pypybuild pypycopy
both: all pypy

build: yicesfull.c setup.py
	./unpack_yices.sh
	python setup.py build || rm -rf build
	rm -f yices_header_location.txt

copy: build
	rm -f yicesfull.so
	cp `find build -name yicesfull.so` .
	rm -rf build

clean:
	rm -f libyices.so
	rm -rf build
	rm -f yicesfull.pypy*.so
	rm -f yicesfull.so
