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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#40505: closed ([PATCH] gnu: Add Gnu mdk.)
Date: Thu, 16 Apr 2020 16:33:01 +0000

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

Your message dated Thu, 16 Apr 2020 18:32:41 +0200
with message-id <873693gzme.fsf <at> gnu.org>
and subject line Re: [bug#40505] [PATCH] gnu: Add Gnu mdk.
has caused the debbugs.gnu.org bug report #40505,
regarding [PATCH] gnu: Add Gnu mdk.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
40505: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40505
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: guy fleury iteriteka <gfleury <at> disroot.org>
To: guix-patches <at> gnu.org
Cc: guy fleury iteriteka <gfleury <at> disroot.org>
Subject: [PATCH] gnu: Add Gnu mdk.
Date: Wed,  8 Apr 2020 11:56:40 +0200

* gnu/packages/education.scm(mdk): New variable.
---
 gnu/packages/education.scm | 46 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)

diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
index 836fc2b..77248b2 100644
--- a/gnu/packages/education.scm
+++ b/gnu/packages/education.scm
@@ -6,6 +6,7 @@
 ;;; Copyright © 2018, 2019, 2020 Tobias Geerinckx-Rice <me <at> tobias.gr>
 ;;; Copyright © 2018, 2019, 2020 Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
 ;;; Copyright © 2020 Robert Smith <robertsmith <at> posteo.net>
+;;; Copyright © 2020 Guy Fleury Iteriteka <gfleury <at> disroot.org>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -26,11 +27,13 @@
   #: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)
   #:use-module (gnu packages curl)
   #:use-module (gnu packages databases)
+  #:use-module (gnu packages flex)
   #:use-module (gnu packages fonts)
   #:use-module (gnu packages freedesktop)
   #:use-module (gnu packages game-development)
@@ -43,12 +46,14 @@
   #:use-module (gnu packages kde)
   #:use-module (gnu packages kde-frameworks) ; extra-cmake-modules
   #:use-module (gnu packages mp3)
+  #:use-module (gnu packages ncurses)
   #:use-module (gnu packages perl)
   #:use-module (gnu packages pkg-config)
   #:use-module (gnu packages python)
   #:use-module (gnu packages python-web)
   #:use-module (gnu packages python-xyz)
   #:use-module (gnu packages qt)
+  #:use-module (gnu packages readline)
   #:use-module (gnu packages sdl)
   #:use-module (gnu packages sqlite)
   #:use-module (gnu packages texinfo)
@@ -935,3 +940,44 @@ TuxMath also includes Factoroids, a game that gives practice in
 factoring numbers and simplifying fractions, as well as zapping rocks
 floating through space.")
     (license license:gpl3+)))
+
+(define-public mdk
+  (package
+    (name "mdk")
+    (version "1.2.10")
+    (source
+    (origin
+      (method url-fetch)
+     (uri (string-append
+            "mirror://gnu/mdk/v1.2.10/mdk-" version ".tar.gz"))
+      (sha256
+        (base32
+          "1rwcq2b5vvv7318j92nxc5dayj27dpfhzc4rjiv4ccvsc0x35x5h"))))
+   (build-system gnu-build-system)
+    (arguments
+     `(#:configure-flags (list "--enable-gui=yes" "-with-readline=yes")))
+    (native-inputs
+     `(("flex" ,flex)
+       ("pkg-config" ,pkg-config)
+       ("intltool" ,intltool)
+       ("texinfo" ,texinfo)
+       ("gettext" ,gettext-minimal)
+       ("autoconf" ,autoconf)
+       ("automake" ,automake)
+       ("ncurses" ,ncurses)))
+   (inputs
+    `(("readline" ,readline)
+      ("glib" ,glib)
+      ("gtk+" ,gtk+)
+      ("pango" ,pango)
+      ("libglade" ,libglade)))
+   (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
+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.
+The package includes a compiler, a virtual machine, a GUI for the virtual
+machine, and more.")
+    (license license:gpl3+)))
-- 
2.25.1

[Message part 3 (message/rfc822, inline)]

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 4 (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 5 (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.