diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-07-18 17:18:40 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-07-18 17:21:54 +0200 |
| commit | 4e11cac6be68a674c16965dc74e7da54cd3168df (patch) | |
| tree | 5c0ebf0029e569e675912e30e06dbb36e50e9ada /gnu/packages/hurd.scm | |
| parent | a8c79839d57acf96df720630b8e6ddee8a8c2cf8 (diff) | |
gnu: mig: Update to 1.8+git20230520.
This reinstates 999a6ac0cfd9339e138007ed9e4e544a55e92e3e, which was
reverted by a041bbb4bf98cce72b14c554369fc56eeacc2f5d, but without
resorting to 'git-fetch'.
* gnu/packages/hurd.scm (mig): Update to 1.8+git20220827.
[source]: Remove patch.
* gnu/packages/patches/mig-cpu.h-generation.patch: Delete.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'gnu/packages/hurd.scm')
| -rw-r--r-- | gnu/packages/hurd.scm | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm index 3785c47750..b184657fb9 100644 --- a/gnu/packages/hurd.scm +++ b/gnu/packages/hurd.scm @@ -91,10 +91,10 @@ (define-public mig (package (name "mig") - (version "1.8+git20220827") + (version "1.8+git20230520") (source (origin (method url-fetch) - ;; XXX: Version 2.35 of glibc can only be built with an + ;; XXX: Versions 2.35 and 2.37 of glibc can only be built with an ;; unreleased version of MiG: ;; <https://lists.gnu.org/archive/html/bug-hurd/2023-03/msg00025.html>. ;; It cannot be fetched from Git though, as the extra dependency @@ -103,8 +103,7 @@ version ".tar.gz")) (sha256 (base32 - "163d37s9lscd6zxyfng421m9nl857464mgjj90xsrcl5ykbng5p2")) - (patches (search-patches "mig-cpu.h-generation.patch")))) + "1ap31jd9jkvvz3vb88hg19cyqmqzmra724yl1xhcrv7gcgnan7d9")))) (build-system gnu-build-system) ;; Flex is needed both at build and run time. (inputs (list gnumach-headers flex)) |