PKG_CPPFLAGS = -I.
PKG_CXXFLAGS = -DBOOST_DISABLE_THREADS
PKG_LIBS = -lgmp

all: $(SHLIB)
