# Makefile

PYTHON=python
TCHECKER=../tools/tchecker.py

all:

clean:
	-rm *.pyc *.pyo

check:
	PYTHONPATH=.. $(PYTHON) $(TCHECKER) *.py
