diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2017-10-15 16:20:30 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2017-10-15 17:36:11 +0200 |
| commit | 791cfa672d1b0eda29634f603177d1bede5b419a (patch) | |
| tree | 4423d831c01611ce60e5302df4fd2e4f24b47a97 /doc | |
| parent | b3b2efc82df06777caf9d151db19866b314b4933 (diff) | |
| download | patches-791cfa672d1b0eda29634f603177d1bede5b419a.tar patches-791cfa672d1b0eda29634f603177d1bede5b419a.tar.gz | |
gnu: propeller-development-suite: Use stable release.
* gnu/packages/embedded.scm (propeller-binutils): Take sources from
release_1_0 branch.
[arguments]: Remove "patch-/bin/sh-in-tests" phase; add "chdir" phase; disable
Werror flag.
(propeller-gcc-4): Use sources from release_1_0 branch.
[arguments]: Add "chdir" phase.
[home-page]: Change to official home page.
(proplib): Use sources from release_1_0 branch.
[arguments]: Add "chdir" phase; remove outdated patch from "fix-Makefile"
phase; do not build and install tiny library.
[home-page]: Change to official home page.
(propeller-load): Use sources from release_1_0 branch.
[arguments]: Add "chdir" phase.
[home-page]: Change to official home page.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions