gcc: ARM: Install missing header files.

No gcc plugins could be built.

diff --git a/gcc/gcc.nm b/gcc/gcc.nm
index 05e33c1eae8afc8b5b012226e26b8b5737b0eaa1..37904a2d0b507c8a8bc67addb655ae895d4cf48e 100644 (file)
--- a/gcc/gcc.nm
+++ b/gcc/gcc.nm
@@ -8,7 +8,7 @@ build_cloog_ppl = 1
 
 name       = gcc
 version    = 4.6.2
-release    = 12
+release    = 13
 
 maintainer = Michael Tremer <michael.tremer@ipfire.org>
 groups     = Development/Compilers
@@ -248,6 +248,16 @@ build
                # Remove some GNU debugger stuff.
                rm -vf %{BUILDROOT}%{libdir}/lib*.py
 
+               # Install missing header file(s) on ARM.
+               case "%{DISTRO_ARCH}" in
+                       arm*)
+                               cp -vf %{DIR_APP}/gcc/config/vxworks-dummy.h \
+                                       ${FULLPATH}/plugin/include/config/
+                               cp -vf %{DIR_APP}/gcc/config/arm/arm-cores.def \
+                                       ${FULLPATH}/plugin/include/config/arm/
+                               ;;
+               esac
+
                # libgomp
                mv -vf %{BUILDROOT}%{libdir}/libgomp.spec ${FULLPATH}/
                ln -svf ../../../libgomp.so.1.0.0 ${FULLPATH}/libgomp.so