From 7adf6f1be99ecba38cac4940b3091a1c3aa6c72d Mon Sep 17 00:00:00 2001 From: guy fleury iteriteka Date: Wed, 8 Apr 2020 11:56:40 +0200 Subject: gnu: Add the GNU MDK. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/education.scm (mdk): New variable. Co-authored-by: Ludovic Courtès --- gnu/packages/education.scm | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm index 836fc2b525..a1fee29c4e 100644 --- a/gnu/packages/education.scm +++ b/gnu/packages/education.scm @@ -6,6 +6,7 @@ ;;; Copyright © 2018, 2019, 2020 Tobias Geerinckx-Rice ;;; Copyright © 2018, 2019, 2020 Nicolas Goaziou ;;; Copyright © 2020 Robert Smith +;;; Copyright © 2020 Guy Fleury Iteriteka ;;; ;;; This file is part of GNU Guix. ;;; @@ -31,6 +32,7 @@ #: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 +45,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 +939,40 @@ 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) + ("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+))) -- cgit v1.2.3 for all services....* gnu/home/services/desktop.scm (home-dbus-shepherd-services): Log to %user-log-dir. * gnu/home/services/desktop.scm (home-unclutter-shepherd-services): Same. * gnu/home/services/pm.scm (home-batsignal-shepherd-services): Same. * gnu/home/services/shepherd.scm (launch-shepherd-gexp): Don't overwrite default log-file. Change-Id: I2742371cbddd1bf4d981efc41f3eae8f148336be Signed-off-by: Ludovic Courtès <ludo@gnu.org> Dariqq 2024-10-14home: services: unclutter: Inherit $DISPLAY....* gnu/home/services/desktop.scm: Add DISPLAY to the list of environment variables passed to 'home-unclutter-service-type'. Change 'make-forkexec-construstor' to 'fork+exec-command' as the former did not seem to pick up the newly defined environment variable. Add 'x11-display' as a requirement. These changes are consistent to how things are done in 'home-redshift-service-type'. Change-Id: Ie8b88b30353e76139d354da27aef791036eaa5a0 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Fabio Natali 2024-10-14doc: Document home-shepherd-configuration-daemonize?...* gnu/home/services/shepherd.scm: Export home-shepherd-configuration-daemonize?. * doc/guix.texi (home-shepherd-configuration): Add entry for daemonize? field. Change-Id: Ifd1518c89fe8d5869d5e6469823dafd8457f24f1 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Dariqq 2024-10-14home: home-shepherd-configuration: Add silent? field....* gnu/home/services/shepherd.scm (home-shepherd-configuration): Add silent? field. (launch-shepherd-gexp): Conditionally invoke shepherd with --silent. * doc/guix.texi (home-shepherd-configuration): Document it. Change-Id: I1ce7a92c2777ebded39fe293b0bdcbd03562b4fc Signed-off-by: Ludovic Courtès <ludo@gnu.org> Dariqq 2024-10-12home: services: Add 'home-sway-service-type'....* gnu/home/services/sway.scm: New file. (home-sway-service-type): New variable. (sway-configuration->file): New procedure. (sway-configuration): New configuration record. (sway-bar): New configuration record. (sway-output): New configuration record. (sway-input): New configuration record. (point): New configuration record. (sway-color): New configuration record. (sway-border-color): New configuration record. (sway-mode): New configuration record. (flatmap): New procedure. * gnu/local.mk: Add gnu/home/services/sway.scm. * doc/guix.texi (Sway window manager): New node to document the above changes. Signed-off-by: Florian Pelz <pelzflorian@pelzflorian.de> Change-Id: I880261570c5afdb795f2ce18bac2b9a5c898677f Arnaud Daby-Seesaram 2024-09-29home: xdg-mime-applications: Fix file name spelling....* gnu/home/services/xdg.scm (home-xdg-mime-applications-xdg-files): Fix spelling mistake. Signed-off-by: Hilton Chain <hako@ultrarare.space> Change-Id: Ibd0f68a857dc78b66db8b0a16bd418ee787fa467 Nicolas Graves 2024-09-16home: services: shepherd: Replace use of deprecated ‘action’ procedure....This is a followup to 1964531ce5365d6744e3909960e9d608be624228. * gnu/home/services/shepherd.scm (home-shepherd-configuration-file): Use ‘perform-service-action’ rather than ‘action’. Change-Id: I669750c319083836416c3e093c112ebfeba32e64 Ludovic Courtès 2024-09-04home: services: channels: Remove duplicate channels....* gnu/home/services/guix.scm (extend-channel-list): Add function. (home-channels-service-type)[extend]: Use extend-channel-list. Change-Id: I587207b86216f075a54b6ed0b8fa998896bbed74 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Nicolas Graves 2024-08-28home: services: Add home-beets-service-type....* gnu/home/services/music.scm: New file. * gnu/local.mk: Add this. * doc/guix.texi: Document this. Change-Id: Idc23a68276cb3fb07733bb38bc38b1c5a63c1d6a Signed-off-by: Ludovic Courtès <ludo@gnu.org> Fabio Natali 2024-08-18home: Fix typo in parcimonie configuration....* gnu/home/services/gnupg.scm (<home-parcimonie-configuration>) [gnupg-aleady-torified?]: Rename to ‘gnupg-already-torified?’. Change-Id: I0687f67a5cef410b8b1d579c57b318b9d269e0d0 Tobias Geerinckx-Rice 2024-07-26home: Set 700 permissions on .gnupg with home-gpg-agent-service...* gnu/home/services/gnupg.scm (gpg-agent-activation): New variable. (home-gpg-agent-service-type) [extensions]: Extend home-activation-service-type. Change-Id: If3365c6cade2b03ee53a466ce1d63a5cdf654d6c Signed-off-by: Ludovic Courtès <ludo@gnu.org> Richard Sent