diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2017-11-06 22:50:05 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2017-11-07 22:03:51 +0100 |
| commit | 625492ee1a5a8e515b97d4b76734584c1b420243 (patch) | |
| tree | e52484788a4f3599853a21d0594f7351df34441f /gnu/packages/patches/mozjs38-pkg-config-version.patch | |
| parent | a67f0946717420f264646556812cbd0d197bb360 (diff) | |
gnu: gcc-4.7: Resurrect building with gcc-5.4.0.
* gnu/packages/patches/gcc-4-compile-with-gcc-5.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/gcc.scm (gcc-4.7): Use it.
Diffstat (limited to 'gnu/packages/patches/mozjs38-pkg-config-version.patch')
0 files changed, 0 insertions, 0 deletions