GNU bug report logs -
#40505
[PATCH] gnu: Add Gnu mdk.
Previous Next
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 40505 in the body.
You can then email your comments to 40505 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
guix-patches <at> gnu.org
:
bug#40505
; Package
guix-patches
.
(Wed, 08 Apr 2020 12:52:02 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
guy fleury iteriteka <gfleury <at> disroot.org>
:
New bug report received and forwarded. Copy sent to
guix-patches <at> gnu.org
.
(Wed, 08 Apr 2020 12:52:02 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
* 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
Reply sent
to
Ludovic Courtès <ludo <at> gnu.org>
:
You have taken responsibility.
(Thu, 16 Apr 2020 16:33:01 GMT)
Full text and
rfc822 format available.
Notification sent
to
guy fleury iteriteka <gfleury <at> disroot.org>
:
bug acknowledged by developer.
(Thu, 16 Apr 2020 16:33:02 GMT)
Full text and
rfc822 format available.
Message #10 received at 40505-done <at> debbugs.gnu.org (full text, mbox):
[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.
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Fri, 15 May 2020 11:24:04 GMT)
Full text and
rfc822 format available.
This bug report was last modified 5 years and 34 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.