all: bug bug_ef

bug:bug.cpp
	c++ bug.cpp -Wall -L /usr/local/lib -I/usr/local/include -lm -lgmpxx -o bug -ftemplate-depth-99 -D_MP

bug_ef:bug.cpp
	c++ bug.cpp -Wall -L /usr/local/lib -I/usr/local/include -lm -lgmpxx -lefence -o bug_ef -ftemplate-depth-99 -D_MP -g