From patchwork Thu Apr 16 16:32:41 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: =?utf-8?q?Ludovic_Court=C3=A8s?= X-Patchwork-Id: 21298 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 40DC827BBE4; Thu, 16 Apr 2020 17:33:16 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id A61C127BBE1 for ; Thu, 16 Apr 2020 17:33:15 +0100 (BST) Received: from localhost ([::1]:36874 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jP7Rz-0005rf-7a for patchwork@mira.cbaines.net; Thu, 16 Apr 2020 12:33:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58736) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jP7Rn-0005gB-Ch for guix-patches@gnu.org; Thu, 16 Apr 2020 12:33:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jP7Rm-0005zx-5m for guix-patches@gnu.org; Thu, 16 Apr 2020 12:33:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:55918) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jP7Rm-0005zq-2T for guix-patches@gnu.org; Thu, 16 Apr 2020 12:33:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jP7Rl-0004a3-Vu for guix-patches@gnu.org; Thu, 16 Apr 2020 12:33:01 -0400 Subject: bug#40505: [PATCH] gnu: Add Gnu mdk. Resent-From: Ludovic =?utf-8?q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Thu, 16 Apr 2020 16:33:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 40505 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: guy fleury iteriteka Cc: 40505-done@debbugs.gnu.org Mail-Followup-To: 40505@debbugs.gnu.org, ludo@gnu.org, gfleury@disroot.org Received: via spool by 40505-done@debbugs.gnu.org id=D40505.158705477117585 (code D ref 40505); Thu, 16 Apr 2020 16:33:01 +0000 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: Ludovic =?utf-8?q?Court=C3=A8s?= 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 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches Hi, guy fleury iteriteka 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.