LIBS = -lm -lgmpxx -lgmp

all:
	gcc -O3 -c predicates.c
	g++ example.cpp $(LIBS) predicates.o -O3