diff options
Diffstat (limited to 'bare/config/bare-config.cfg')
| -rw-r--r-- | bare/config/bare-config.cfg | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/bare/config/bare-config.cfg b/bare/config/bare-config.cfg new file mode 100644 index 0000000..2633cd7 --- /dev/null +++ b/bare/config/bare-config.cfg @@ -0,0 +1,14 @@ +# +# Base defines for Bare Tools. We use the RTEMS Tools repo for patches. +# + +# +# The RTEMS http git URL. +# +%define rtems_version 4.11 +%define rtems_http_git http://git.rtems.org +%define rtems_git_tools %{rtems_http_git}/rtems-tools/plain/tools/%{rtems_version} +%define bare_binutils_patches %{rtems_git_tools}/binutils +%define bare_gcc_patches %{rtems_git_tools}/gcc +%define bare_newlib_patches %{rtems_git_tools}/newlib +%define bare_gdb_patches %{rtems_git_tools}/gdb |