diff options
author | Marius Bakke <mbakke@fastmail.com> | 2020-01-20 18:13:53 +0100 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2020-01-21 23:17:20 +0100 |
commit | cdba91486a60bbba727d843707322f98f8286124 (patch) | |
tree | 1245ae6980426f5a9d40209a16f6eb03679d3d5f /gnu/packages/agda.scm | |
parent | 99406d9b684ec60384dc29d850905dd517fb9790 (diff) | |
download | guix-cdba91486a60bbba727d843707322f98f8286124.tar.gz |
gnu: make: Update to 4.3.
* gnu/packages/patches/make-impure-dirs.patch: Adjust for renamed files. * gnu/packages/patches/make-glibc-compat.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/base.scm (gnu-make): Update to 4.3. [source](uri): Change to ".gz" tarball. [source](patches): Remove obsolete. [arguments]: Remove #:configure-flags. Adjust for renamed files. [inputs]: Change from GUILE-2.0 to GUILE-3.0. * gnu/packages/commencement.scm (gnu-make-boot0)[arguments]: Add #:configure-flags.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions