diff mbox series

[Ada] vx7r2cert/light-tasking-rtp: undefined refs on ppc/ppc64

Message ID 20211202162841.GA2157302@adacore.com
State Committed
Commit 28acd56a7a66f79be3372af00175483d00b4615e
Headers
Series [Ada] vx7r2cert/light-tasking-rtp: undefined refs on ppc/ppc64 |

Commit Message

Pierre-Marie de Rodat Dec. 2, 2021, 4:28 p.m. UTC 
  Vx7r2cert ppc/ppc64 targets use the gcc toolchain, which requires a
slightly different forumulation of libraries for the
rts-light-tasking-rtp runtime.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

	* vxworks7-cert-rtp-link__ppcXX.spec: New file.
	* Makefile.rtl: Use it.
diff mbox series

Patch

diff --git a/gcc/ada/Makefile.rtl b/gcc/ada/Makefile.rtl
--- a/gcc/ada/Makefile.rtl
+++ b/gcc/ada/Makefile.rtl
@@ -1186,7 +1186,7 @@  ifeq ($(strip $(filter-out powerpc% wrs vxworks vxworksspe vxworks7% vxworks7spe
     else
       GCC_SPEC_FILES+=vxworks7-rtp-base-link.spec
     endif
-    GCC_SPEC_FILES+=vxworks7-cert-rtp-link.spec
+    GCC_SPEC_FILES+=vxworks7-cert-rtp-link__ppcXX.spec
   else
     GCC_SPEC_FILES+=vxworks-$(ARCH_STR)-link.spec
     GCC_SPEC_FILES+=vxworks-cert-$(ARCH_STR)-link.spec


diff --git /dev/null b/gcc/ada/vxworks7-cert-rtp-link__ppcXX.spec
new file mode 100644
--- /dev/null
+++ b/gcc/ada/vxworks7-cert-rtp-link__ppcXX.spec
@@ -0,0 +1,10 @@ 
+*self_spec:
++ %{!nostdlib:-nodefaultlibs -nostartfiles}
+
+*link:
++ %{!nostdlib:%{mrtp:%{!shared: \
+     %(base_link) \
+     -lcert -lgnu \
+     -L%:getenv(VSB_DIR /usr/lib/common/objcert) \
+     -T%:getenv(VSB_DIR /usr/ldscripts/rtp.ld) \
+   }}}