diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-14 12:45:15 +0200 |
---|---|---|
committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-04-26 20:06:28 +0200 |
commit | 71b92e1abd015b03ba6ea011ab4129499c1f44c4 (patch) | |
tree | 6ce2d5e70b2e711f0b9e76e1d28a9ebd8f506f99 | |
parent | 706b91ea8ded9118b3f5ef3d0a68ffc6f579f847 (diff) | |
download | patches-71b92e1abd015b03ba6ea011ab4129499c1f44c4.tar patches-71b92e1abd015b03ba6ea011ab4129499c1f44c4.tar.gz |
gnu: Add dde-sources.
* gnu/packages/hurd.scm (dde-sources): New variable.
(hurd)[native-inputs]: Add it.
-rw-r--r-- | gnu/packages/hurd.scm | 27 |
1 files changed, 14 insertions, 13 deletions
diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm index 88af75c48e..716fd59f75 100644 --- a/gnu/packages/hurd.scm +++ b/gnu/packages/hurd.scm @@ -355,6 +355,19 @@ boot, since this cannot be done from GNU/Linux." (with-parameters ((%current-target-system "i586-pc-gnu")) (program-file "rc" rc))) +(define dde-sources + ;; This is the current tip of the dde branch + (let ((commit "ac1c7eb7a8b24b7469bed5365be38a968d59a136")) + (origin + (method git-fetch) + (uri (git-reference + (url "https://git.savannah.gnu.org/git/hurd/incubator.git") + (commit commit))) + (sha256 + (base32 + "1vryinbg75xpydfrv9dbgfnds6knlh8l8bk2rxp32y9dc58z0692")) + (file-name (git-file-name "dde" commit))))) + (define-public hurd (package (name "hurd") @@ -508,19 +521,7 @@ fsysopts / --writable\n")) mig)) ("perl" ,perl) ("texinfo" ,texinfo-4) - ("dde-sources" - ;; This is the current tip of the dde branch - ,(let ((commit "ac1c7eb7a8b24b7469bed5365be38a968d59a136")) - (origin - (method git-fetch) - (uri (git-reference - (url "https://git.savannah.gnu.org/git/hurd/incubator.git") - (commit commit))) - (sha256 - (base32 - "1vryinbg75xpydfrv9dbgfnds6knlh8l8bk2rxp32y9dc58z0692")) - (file-name (string-append "dde-checkout-" - (string-take commit 7)))))))) + ("dde-sources" ,dde-sources))) (supported-systems %hurd-systems) (home-page "https://www.gnu.org/software/hurd/hurd.html") (synopsis "The kernel servers for the GNU operating system") |