From unknown Wed Jun 18 23:09:09 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#40505 <40505@debbugs.gnu.org> To: bug#40505 <40505@debbugs.gnu.org> Subject: Status: [PATCH] gnu: Add Gnu mdk. Reply-To: bug#40505 <40505@debbugs.gnu.org> Date: Thu, 19 Jun 2025 06:09:09 +0000 retitle 40505 [PATCH] gnu: Add Gnu mdk. reassign 40505 guix-patches submitter 40505 guy fleury iteriteka severity 40505 normal tag 40505 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 08 08:51:33 2020 Received: (at submit) by debbugs.gnu.org; 8 Apr 2020 12:51:33 +0000 Received: from localhost ([127.0.0.1]:51500 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jMAB2-0000xy-Ox for submit@debbugs.gnu.org; Wed, 08 Apr 2020 08:51:33 -0400 Received: from lists.gnu.org ([209.51.188.17]:38818) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jM7Sh-0000qI-0m for submit@debbugs.gnu.org; Wed, 08 Apr 2020 05:57:35 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44332) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jM7Se-0006UF-TC for guix-patches@gnu.org; Wed, 08 Apr 2020 05:57:34 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,RCVD_IN_DNSWL_NONE, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jM7Sd-0008UI-MU for guix-patches@gnu.org; Wed, 08 Apr 2020 05:57:32 -0400 Received: from knopi.disroot.org ([178.21.23.139]:44054) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1jM7Sd-0008Rx-3U for guix-patches@gnu.org; Wed, 08 Apr 2020 05:57:31 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 93735255F8; Wed, 8 Apr 2020 11:57:27 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id RDV9vAQSnX8H; Wed, 8 Apr 2020 11:57:22 +0200 (CEST) From: guy fleury iteriteka DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1586339839; bh=GXF33cL4iOpc60TqA1fp3dlVvPo6LpKbziYy6nCD9n8=; h=From:To:Cc:Subject:Date; b=T1TLjx95TZEmCsIhUm6dal7hQn1zbG+IqSA0BLAlnyE4gO7GPVCeq3NpPekmJQsbd 1KEDe7AzwqECfYlitqqJSBbQMlvCqA8WXXG0rs4G87Ws4D5zobhSm4Kr4by9/fAPlc +0UPqlsiin/7QdVioehmkdQJ4fBUm0J8plpgCFKvGYvH3h2wB/gcN3TP9Nrq8cfKIm O5x7wsBdhCUzcaj4nNIsp9AZxIFH/00H8NL9mkBZTbL+QgIgpQztjjLZAjlcvJ5E+8 Tkzekz4InzwvxQ8+86hVqwYzSu1Hl2UIisR47SlxpuJ82xrzGUCNeMS4bUvPhUl/Wg QNWP+qRB5/beA== To: guix-patches@gnu.org Subject: [PATCH] gnu: Add Gnu mdk. Date: Wed, 8 Apr 2020 11:56:40 +0200 Message-Id: <20200408095640.2373-1-gfleury@disroot.org> Mime-Version: 1.0 Content-Type: text/plain; charset=y Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 178.21.23.139 X-Spam-Score: 0.2 (/) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Wed, 08 Apr 2020 08:51:31 -0400 Cc: guy fleury iteriteka X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.8 (/) * 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 =C2=A9 2018, 2019, 2020 Tobias Geerinckx-Rice ;;; Copyright =C2=A9 2018, 2019, 2020 Nicolas Goaziou ;;; Copyright =C2=A9 2020 Robert Smith +;;; Copyright =C2=A9 2020 Guy Fleury Iteriteka ;;; ;;; 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=3Dyes" "-with-readline=3Dye= s"))) + (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 wit= h +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 virtua= l +machine, and more.") + (license license:gpl3+))) --=20 2.25.1 From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 16 12:32:51 2020 Received: (at 40505-done) by debbugs.gnu.org; 16 Apr 2020 16:32:51 +0000 Received: from localhost ([127.0.0.1]:39230 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jP7Rb-0004ZZ-61 for submit@debbugs.gnu.org; Thu, 16 Apr 2020 12:32:51 -0400 Received: from eggs.gnu.org ([209.51.188.92]:43579) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jP7Ra-0004ZN-94 for 40505-done@debbugs.gnu.org; Thu, 16 Apr 2020 12:32:50 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:36169) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1jP7RT-0005qd-RW; Thu, 16 Apr 2020 12:32:43 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=42598 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jP7RS-0002dH-Jz; Thu, 16 Apr 2020 12:32:43 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: guy fleury iteriteka Subject: Re: [bug#40505] [PATCH] gnu: Add Gnu mdk. References: <20200408095640.2373-1-gfleury@disroot.org> Date: Thu, 16 Apr 2020 18:32:41 +0200 In-Reply-To: <20200408095640.2373-1-gfleury@disroot.org> (guy fleury iteriteka's message of "Wed, 8 Apr 2020 11:56:40 +0200") Message-ID: <873693gzme.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -1.5 (-) X-Debbugs-Envelope-To: 40505-done Cc: 40505-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.5 (--) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi, guy fleury iteriteka skribis: > * gnu/packages/education.scm(mdk): New variable. Applied with the following changes that remove unneeded cruft. Thanks! Ludo=E2=80=99. --=-=-= Content-Type: text/x-patch Content-Disposition: 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. --=-=-=-- From unknown Wed Jun 18 23:09:09 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 15 May 2020 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator