GNU bug report logs - #40505
[PATCH] gnu: Add Gnu mdk.

Previous Next

Full log

Message #10 received at 40505-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: guy fleury iteriteka <gfleury <at> disroot.org>
Cc: 40505-done <at> debbugs.gnu.org
Subject: Re: [bug#40505] [PATCH] gnu: Add Gnu mdk.
Date: Thu, 16 Apr 2020 18:32:41 +0200

[Message part 1 (text/plain, inline)]

Hi,

guy fleury iteriteka <gfleury <at> disroot.org> skribis:

> * gnu/packages/education.scm(mdk): New variable.

Applied with the following changes that remove unneeded cruft.

Thanks!

Ludo’.

[Message part 2 (text/x-patch, inline)]

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.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.