lang/gnatdroid-armv7/files/patch-configure


1
2
3
4
5
6
7
8
9
10
11

--- configure.orig  2011-07-18 00:12:43.000000000 +0200
+++ configure   2011-07-18 00:13:35.000000000 +0200
@@ -3233,7 +3233,7 @@
     libgloss_dir=arm
     ;;
   arm-*-elf* | strongarm-*-elf* | xscale-*-elf* | arm*-*-eabi* )
-    noconfigdirs="$noconfigdirs target-libffi target-qthreads"
+    noconfigdirs="$noconfigdirs target-libffi target-qthreads target-libstdc++-v3"
     libgloss_dir=arm
     ;;
   arm*-*-linux-gnueabi)