prop.demo.query: prop.demo.query.o util.o
	gcc prop.demo.query.o util.o -o prop.demo.query.doit -lm
prop.demo.query.o: prop.demo.query.c
	gcc -c -g -lm prop.demo.query.c
util.o: util.c
	gcc -c -g util.c