mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00
config: Use the prefix as the tools path if no --with-tools.
To use tools not in the installed RTEMS path use --with-tools. If the --with-tools option is not supplied use the --prefix path.
This commit is contained in:
parent
0ffee19316
commit
912596d5fd
@ -9,7 +9,7 @@
|
|||||||
#
|
#
|
||||||
# Keeping the package's installed path in the RTEMS install path
|
# Keeping the package's installed path in the RTEMS install path
|
||||||
# and separate to the tools lets the tools version vary
|
# and separate to the tools lets the tools version vary
|
||||||
# independently.
|
# independently. If --with-tools is not provided use the prefix.
|
||||||
#
|
#
|
||||||
|
|
||||||
%if %{_host} == %{nil}
|
%if %{_host} == %{nil}
|
||||||
@ -17,11 +17,11 @@
|
|||||||
%endif
|
%endif
|
||||||
|
|
||||||
%ifn %{defined with_rtems_bsp}
|
%ifn %{defined with_rtems_bsp}
|
||||||
%error No RTEMS BSP specified: --with-rtems-bsp=bsp
|
%define with_tools %{_prefix}
|
||||||
%endif
|
%endif
|
||||||
|
|
||||||
%ifn %{defined with_tools}
|
%ifn %{defined with_tools}
|
||||||
%error No RTEMS tools specified: --with-tools=path
|
|
||||||
%endif
|
%endif
|
||||||
|
|
||||||
#
|
#
|
||||||
|
Loading…
x
Reference in New Issue
Block a user