aboutsummaryrefslogtreecommitdiff
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2016 John Darrington <jmd@gnu.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (gnu packages marst)
  #:use-module (guix packages)
  #:use-module (guix licenses)
  #:use-module (guix download)
  #:use-module (gnu packages compression)
  #:use-module (guix build-system gnu))

(define-public marst
  (package
    (name "marst")
    (version "2.7")
    (source
     (origin
       (method url-fetch)
       (uri (string-append
             "mirror://gnu/" name "/" name "-" version
             ".tar.gz"))
       (sha256
        (base32 "0l6swjy8fjrqw89ghc1vvakg21jmpfkpsw92yssrzkg3rg8vkrry"))))
    (build-system gnu-build-system)
    (home-page "https://www.gnu.org/software/marst/")
    (synopsis "Algol-to-C translator")
    (description
     "GNU MARST is an Algol-to-C translator.  The package consists of the
translator itself, a library that contains the necessary Algol 60 procedures,
and a converter that converts existing Algol 60 programs from other
representations to the MARST representation.")
    (license gpl3+)))
a href='/guix/commit/gnu/packages/xdisorg.scm?id=92f301ffd88648890ef6de972a22cd5109073b72'>gnu: xlockmore: Update to 5.72....* gnu/packages/xdisorg.scm (xlockmore): Update to 5.72. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> kiasoc5 2023-08-26gnu: autorandr: Update to 1.14....* gnu/packages/xdisorg.scm (autorandr): Update to 1.14. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> kiasoc5 2023-08-17gnu: Add xtrlock....* gnu/packages/xdisorg.scm (xtrlock): New variable. Co-authored-by: Ludovic Courtès <ludo@gnu.org> Mehmet Tekman 2023-08-15gnu: Move stalonetray to (gnu packages xdisorg)....See <https://issues.guix.gnu.org/63080>. * gnu/packages/stalonetray.scm (stalonetray): Move from here… * gnu/packages/xdisorg.scm (stalonetray): …to here. * gnu/local.mk (GNU_SYSTEM_MODULES): Adjust accordingly. Signed-off-by: Ludovic Courtès <ludo@gnu.org> kiasoc5 2023-08-15gnu: nwg-launchers: Build with librsvg-for-system....* gnu/packages/xdisorg.scm (nwg-launchers)[inputs]: Replace librsvg with librsvg-for-system. Efraim Flashner 2023-08-15gnu: fuzzel: Build with librsvg-for-system....* gnu/packages/xdisorg.scm (fuzzel)[inputs]: Replace librsvg with librsvg-for-system. Efraim Flashner 2023-08-15gnu: tint2: Build with librsvg-for-system....* gnu/packages/xdisorg.scm (tint2)[inputs]: Replace librsvg with librsvg-for-system. Efraim Flashner 2023-08-15gnu: rofi: Remove pre-generated files....* gnu/packages/xdisorg.scm (rofi)[source]: Add snippet to remove pre-generated files. Efraim Flashner 2023-08-15gnu: rofi: Build with librsvg-for-system....* gnu/packages/xdisorg.scm (rofi)[inputs]: Replace librsvg with librsvg-for-system. Efraim Flashner 2023-08-13gnu: rofi-wayland: Update to 1.7.5+wayland2....* gnu/packages/xdisorg.scm (rofi-wayland): Update to 1.7.5+wayland2. [description]: Expand description. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Hilton Chain 2023-08-13gnu: wl-clipboard: Update to 2.2.0....* gnu/packages/xdisorg.scm (wl-clipboard): Update to 2.2.0. [arguments]<#:phases>: Adjust 'patch-file-names. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Hilton Chain 2023-08-12gnu: Add ulauncher....* gnu/packages/xdisorg.scm (ulauncher): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Sergio Pastor Pérez 2023-07-18gnu: texlive-tex-texinfo -> texlive-texinfo....* gnu/packages/tex.scm (texlive-texinfo): New variable. (texlive-tex-texinfo): Deprecate variable. * doc/build.scm (pdf-manual): * gnu/packages/finance.scm (optionmatrix): * gnu/packages/lisp.scm (sbcl): * gnu/packages/plotutils.scm (asymptote): * gnu/packages/scheme.scm (mit-scheme): * gnu/packages/xdisorg.scm (xforms): Use new name. Nicolas Goaziou 2023-07-11gnu: rxvt-unicode: Use helper procedure to make desktop files....* gnu/packages/xdisorg.scm (rxvt-unicode)[arguments]: Replace custom code with make-desktop-entry-file. Specify categories and icon in desktop files. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Timotej Lazar 2023-07-11gnu: rxvt-unicode: Use new package style....* gnu/packages/xdisorg.scm (rxvt-unicode)[arguments]: Use gexps. [inputs]: Drop input labels. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Timotej Lazar 2023-07-11gnu: rxvt-unicode: Update to 9.31 [fixes CVE-2022-4170]....* gnu/packages/xdisorg.scm (rxvt-unicode): Update to 9.31. [inputs]: Add libxext. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Timotej Lazar 2023-07-08gnu: clipman: Use a source file-name....* gnu/packages/xdisorg.scm (clipman)[source]: Use a source file-name. Efraim Flashner 2023-07-01gnu: Add show-me-the-key....* gnu/packages/xdisorg.scm (show-me-the-key): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Wamm K. D 2023-06-26gnu: fuzzel: Update to 1.9.1....* gnu/packages/xdisorg.scm (fuzzel): Update to 1.9.1. Signed-off-by: Christopher Baines <mail@cbaines.net> kiasoc5 2023-06-21gnu: wlsunset: Update to 0.3.0....* gnu/packages/xdisorg.scm (wlsunset): Update to 0.3.0. jgart 2023-06-04gnu: mtdev: Fix cross-compiling to riscv64....* gnu/packages/xdisorg.scm (mtdev)[arguments]: When cross-compiling to riscv64 add a phase to update config.{guess,sub}. [native-inputs]: When cross-compiling to riscv64 add config. Zheng Junjie 2023-05-25gnu: xeyes: Update to 1.2.0....* gnu/packages/xdisorg.scm (xeyes): Update to 1.2.0. [inputs]: Add libxi. Signed-off-by: jgart <jgart@dismail.de> Greg Hogan 2023-05-19gnu: bemenu: Update to 0.6.15....* gnu/packages/xdisorg.scm (bemenu): Update to 0.6.15. muradm 2023-05-17gnu: scrot: Update to 1.9....* gnu/packages/xdisorg.scm (scrot): Update to 1.9. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Yovan Naumovski 2023-05-15gnu: tofi: Build the man-pages....* gnu/packages/xdisorg.scm (tofi)[native-inputs]: Add scdoc. Efraim Flashner 2023-05-15gnu: tofi: Update to 0.9.1....* gnu/packages/xdisorg.scm (tofi): Update to 0.9.1. [source]: Add patch to fix building on 32-bit systems. * gnu/packages/patches/tofi-32bit-compat.patch. * gnu/local.mk (dist_patch_DATA): Register it. Co-authored-by: Efraim Flashner <efraim@flashner.co.il> Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Yovan Naumovski 2023-05-14gnu: Rename json-modern-cxx to nlohmann-json....* gnu/packages/cpp.scm (nlohmann-json): New variable. (json-modern-cxx): Mark as deprecated alias. (xtl, jsonnet)[inputs]: Use nlohmann-json. * gnu/packages/build-tools.scm (bear)[inputs]: Likewise. * gnu/packages/cybersecurity.scm (blacksmith)[inputs]: Likewise. * gnu/packages/databases.scm (sqlitebrowser)[inputs]: Adjust comment. * gnu/packages/games.scm (openrct2)[inputs]: Use nlohmann-json. * gnu/packages/graphics.scm (f3d)[native-inputs]: Likewise. * gnu/packages/hardware.scm (openrgb)[inputs]: Likewise. [arguments]: Adjust accordingly. * gnu/packages/image-processing.scm (paraview)[inputs]: Adjust comment. * gnu/packages/irods.scm (irods, irods-client-icommands)[inputs]: Use nlohmann-json. * gnu/packages/jupyter.scm (xeus)[inputs]: Likewise. * gnu/packages/messaging.scm (mtxclient, nheko)[inputs]: Likewise. * gnu/packages/text-editors.scm (jucipp)[inputs]: Likewise. * gnu/packages/video.scm (mktoolnix)[inputs]: Likewise. * gnu/packages/xdisorg.scm (nwg-launchers)[inputs]: Likewise. Liliana Marie Prikler 2023-05-04gnu: tint2: Remove input labels....* gnu/packages/xdisorg.scm (tint2)[native-inputs]: Remove input labels. Ludovic Courtès 2023-05-04gnu: maim: Remove input labels....* gnu/packages/xdisorg.scm (maim)[inputs]: Remove labels. Ludovic Courtès 2023-04-15gnu: libxkbcommon: Fix indentation....* gnu/packages/xdisorg.scm (libxkbcommon): Fix indentation. Maxim Cournoyer 2023-04-15gnu: libxkbcommon: Unconditionally add wayland to native-inputs....* gnu/packages/xdisorg.scm (libxkbcommon) [native-inputs]: Always add wayland. Maxim Cournoyer 2023-04-14Merge branch 'master' into core-updates....Conflicts: gnu/local.mk gnu/packages/build-tools.scm gnu/packages/certs.scm gnu/packages/check.scm gnu/packages/compression.scm gnu/packages/cups.scm gnu/packages/fontutils.scm gnu/packages/gnuzilla.scm gnu/packages/guile.scm gnu/packages/ibus.scm gnu/packages/image-processing.scm gnu/packages/linux.scm gnu/packages/music.scm gnu/packages/nss.scm gnu/packages/pdf.scm gnu/packages/python-xyz.scm gnu/packages/qt.scm gnu/packages/ruby.scm gnu/packages/shells.scm gnu/packages/tex.scm gnu/packages/video.scm gnu/packages/vulkan.scm gnu/packages/web.scm gnu/packages/webkit.scm gnu/packages/wm.scm Maxim Cournoyer 2023-04-13gnu: xsettingsd: Use cmake-build-system....* gnu/packages/xdisorg.scm (xsettingsd) [build-system]: Use cmake-build-system. [arguments]: Remove #:scons and #:scons-flags arguments. Add #:configure-flags argument. Remove patch-sconstruct and install phases. Add disable-problematic-tests phase. [native-inputs]: Remove googletest-source; drop labels. Maxim Cournoyer 2023-04-13gnu: copyq: Update to 7.0.0....* gnu/packages/xdisorg.scm (copyq): Update to 7.0.0. Signed-off-by: Christopher Baines <mail@cbaines.net> kiasoc5 2023-04-09gnu: Remove extraneous #:meson build arguments....* gnu/packages/build-tools.scm (meson-python) [propagated-inputs]: Replace meson-0.63 with meson. * gnu/packages/freedesktop.scm (appstream) [arguments]: Remove #:meson argument. * gnu/packages/gnome.scm (raider): Likewise. (komikku): Likewise. * gnu/packages/syndication.scm (syndication-domination): Likewise. * gnu/packages/virtualization.scm (qemu): Likewise. * gnu/packages/xdisorg.scm (tofi): Likewise. Maxim Cournoyer 2023-04-03gnu: wvkbd: Update to 0.13....* gnu/packages/xdisorg.scm (wvkbd): Update to 0.13. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Tobias Kortkamp 2023-03-26gnu: Add physlock....* gnu/packages/xdisorg.scm (physlock): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> Sergey Trofimov 2023-03-21gnu: Add xforms-gl....* gnu/packages/xdisorg.scm (xforms-gl): New variable. Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> Jake Leporte 2023-03-21gnu: Add xforms....* gnu/packages/xdisorg.scm (xforms): New variable. Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> Jake Leporte 2023-03-20Merge remote-tracking branch 'origin/master' into core-updatesAndreas Enge 2023-03-17gnu: bemenu: Update to 0.6.14....* gnu/packages/xdisorg.scm (bemenu): Update to 0.6.14. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Yovan Naumovski 2023-03-14gnu: libdrm: Update configure-flags....* gnu/packages/xdisorg.scm (libdrm)[arguments]: Update configure-flags to new upstream values. Efraim Flashner 2023-03-14gnu: clipmenu: Improve package style....* gnu/packages/xdisorg.scm (clipmenu)[arguments]: Use g-expressions; remove trailing #t from phases. EuAndreh via Guix-patches via 2023-03-14gnu: clipmenu: Update to 6.2.0....* gnu/packages/xdisorg.scm (clipmenu): Update to 6.2.0. [arguments]: Install two additional commands. EuAndreh via Guix-patches via 2023-03-02Merge remote-tracking branch 'savannah/master' into core-updates...Conflicts: gnu/local.mk gnu/packages/autotools.scm gnu/packages/cmake.scm gnu/packages/gnuzilla.scm gnu/packages/haskell.scm gnu/packages/pdf.scm gnu/packages/python-xyz.scm gnu/packages/samba.scm gnu/packages/tex.scm gnu/packages/tls.scm gnu/packages/wxwidgets.scm Christopher Baines