all : pph.out check.out

pph.out : pph.o reduction.o hypertree.o uniqueness.o string.o
	g++ -Wall -o pph.out pph.o reduction.o hypertree.o uniqueness.o string.o

check.out : check.cpp 
	g++ -Wall -o check.out check.cpp

pph.o : pph.cpp reduction.h hyper.h hypertree.h uniqueness.h
	g++ -Wall -c pph.cpp

reduction.o : reduction.cpp reduction.h hyper.h String.h
	g++ -Wall -c reduction.cpp

hypertree.o : hypertree.cpp String.h hyper.h reduction.h hypertree.h
	g++ -Wall -c hypertree.cpp

uniqueness.o : uniqueness.cpp String.h hyper.h uniqueness.h
	g++ -Wall -c uniqueness.cpp

string.o : string.cpp String.h
	g++ -Wall -c string.cpp
