# HG changeset patch
# User Brad Pitcher <bradpitcher@gmail.com>
# Date 1306529849 -7200
# Node ID ff2b56abe67ee5ef3d291f24d0eab8ba912f4ad6
# Parent  8a38c4a5b1ea50e330aff9a06cc720f677ac6987
enable gmpxx in package gmp

diff -r 8a38c4a5b1ea -r ff2b56abe67e src/gmp.mk
--- a/src/gmp.mk	Fri May 27 15:52:52 2011 +0200
+++ b/src/gmp.mk	Fri May 27 22:57:29 2011 +0200
@@ -26,6 +26,7 @@
         --host='$(TARGET)' \
         --prefix='$(PREFIX)/$(TARGET)' \
         --disable-shared \
+        --enable-cxx \
         --without-readline
     $(MAKE) -C '$(1)' -j '$(JOBS)'
     $(MAKE) -C '$(1)' -j 1 install