[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#40505: [PATCH] gnu: Add Gnu mdk.
From: |
Ludovic Courtès |
Subject: |
bug#40505: [PATCH] gnu: Add Gnu mdk. |
Date: |
Thu, 16 Apr 2020 18:32:41 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi,
guy fleury iteriteka <address@hidden> skribis:
> * gnu/packages/education.scm(mdk): New variable.
Applied with the following changes that remove unneeded cruft.
Thanks!
Ludo’.
diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
index 77248b2ee2..a1fee29c4e 100644
--- a/gnu/packages/education.scm
+++ b/gnu/packages/education.scm
@@ -27,7 +27,6 @@
#:use-module (ice-9 regex)
#:use-module (gnu packages)
#:use-module (gnu packages audio)
- #:use-module (gnu packages autotools)
#:use-module (gnu packages base)
#:use-module (gnu packages bash)
#:use-module (gnu packages compression)
@@ -948,8 +947,8 @@ floating through space.")
(source
(origin
(method url-fetch)
- (uri (string-append
- "mirror://gnu/mdk/v1.2.10/mdk-" version ".tar.gz"))
+ (uri (string-append "mirror://gnu/mdk/v1.2.10/mdk-"
+ version ".tar.gz"))
(sha256
(base32
"1rwcq2b5vvv7318j92nxc5dayj27dpfhzc4rjiv4ccvsc0x35x5h"))))
@@ -960,10 +959,6 @@ floating through space.")
`(("flex" ,flex)
("pkg-config" ,pkg-config)
("intltool" ,intltool)
- ("texinfo" ,texinfo)
- ("gettext" ,gettext-minimal)
- ("autoconf" ,autoconf)
- ("automake" ,automake)
("ncurses" ,ncurses)))
(inputs
`(("readline" ,readline)
@@ -974,7 +969,7 @@ floating through space.")
(home-page "https://www.gnu.org/software/mdk/")
(synopsis "Virtual development environment for Knuth's MIX")
(description
- "GNU MDK is the Mix Development Kit, an emulation of the pedagogical
+ "GNU MDK is the Mix Development Kit, an emulation of the pedagogical
computer MIX and its assembly language MIXAL. MIX has a virtual CPU with
standard features such as registers, memory cells, an overflow toggle,
comparison flags, input-output devices, and a set of binary instructions.