aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/myrddin.scm
blob: 897276f57ddf104ef33776b11f8caab603a9d6df (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2021 Guix Together <jgart@dismail.de>
;;;
;;; 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 myrddin)
  #:use-module (guix build-system gnu)
  #:use-module (guix utils)
  #:use-module (guix download)
  #:use-module (guix gexp)
  #:use-module (guix git-download)
  #:use-module (gnu packages bison)
  #:use-module (gnu packages pkg-config)
  #:use-module ((guix licenses) #:prefix license:)
  #:use-module (guix packages))

(define-public myrddin
  (package
    (name "myrddin")
    (version "0.3.1")
    (source
     (origin
       (method git-fetch)
       (uri
        (git-reference
         (url "https://github.com/oridb/mc")
         (commit (string-append "r" version))))
       (file-name (git-file-name name version))
       (sha256
        (base32 "0acqqz74ypmjvi1yqz7g1ymyk3mmkzwqgmdd3s7s287bdy4a72gc"))))
    (build-system gnu-build-system)
    (arguments
     (list #:make-flags
           #~(list (string-append "CC=" #$(cc-for-target))
                   (string-append "PREFIX=" #$output))
           #:phases
           #~(modify-phases %standard-phases
               (replace 'build
                 (lambda* (#:key make-flags #:allow-other-keys)
                   (apply invoke "make" "bootstrap" make-flags)
                   (apply invoke "make" make-flags))))))
    (native-inputs
     (list bison pkg-config))
    (home-page "https://myrlang.org")
    (synopsis "Compiler and tools for the Myrddin programming language")
    (description
     "Myrddin is a programming language.  It features strong type checking,
generics, type inference, closures, and traits. It aims for C like low level
control.  This combination makes Myrddin suitable for anything ranging from
desktop applications, to embedded systems and potentially even kernel
development.")
    (license license:expat)))
188aafaa7411f30f3907'>gnu: osinfo-db: Update to 20220516....* gnu/packages/virtualization.scm (osinfo-db): Update to 20220516. Tobias Geerinckx-Rice 2022-06-26gnu: lxd: Update to 4.24....* gnu/packages/virtualization.scm (lxd): Update to 4.24. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Brian Cully 2022-06-23gnu: runc: Update to 1.1.1....* gnu/packages/virtualization.scm (runc): Update to 1.1.1. [native-inputs]: Use new style. Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> Pierre Langlois 2022-06-19gnu: lxd: Remove input labels....* gnu/packages/virtualization.scm (lxd)[arguments]: In 'install' phase, refer to "bash-minimal" instead of "bash". [inputs]: Remove labels. Ludovic Courtès 2022-06-19gnu: lxd: Add ‘attr’ to inputs and use it in wrapper....Fixes issue with lxd crashing on startup with: Error: exec: "setfattr": executable file not found in $PATH * gnu/packages/virtualization.scm (lxd)[arguments]: In 'install' phase, add "attr" to the list of packages used in 'wrap-program'. [inputs]: Add ATTR. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Brian Cully 2022-06-01Merge remote-tracking branch 'origin/master' into stagingEfraim Flashner 2022-05-31gnu: qmpbackup: Update to 0.23....* gnu/packages/virtualization.scm (qmpbackup): Update to 0.23. [inputs]: Add python-qemu-qmp. [python]: Delete argument. [tests?]: New argument. Maxim Cournoyer 2022-05-31gnu: Add python-qemu-qmp....* gnu/packages/virtualization.scm (python-qemu-qmp): New variable. Maxim Cournoyer 2022-05-26Merge branch 'master' into stagingLudovic Courtès 2022-05-22gnu: lxc: Update to 4.0.12....* gnu/packages/virtualization.scm (lxc): Update to 4.0.12. Tobias Geerinckx-Rice 2022-05-22gnu: criu: Update to 3.17....* gnu/packages/virtualization.scm (criu): Update to 3.17. [arguments]: Set the correct and unused PLUGINDIR. Tobias Geerinckx-Rice 2022-04-29gnu: bubblewrap: Update to 0.6.1....* gnu/packages/virtualization.scm (bubblewrap): Update to 0.6.1. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Zhu Zihao 2022-04-09gnu: ganeti: Update to 3.0.2....* gnu/packages/patches/ganeti-haskell-compat.patch, gnu/packages/patches/ganeti-sphinx-compat.patch: Delete files. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/virtualization.scm (ganeti): Update to 3.0.2. [source](patches): Remove obsolete. [arguments]: Remove obsolete phases. Disable one more test. Marius Bakke 2022-04-09gnu: ganeti: Fix test failure with PyYAML 6.0....This fixes a regression that was introduced in 27720d0fe14ee4cd413a6745e0782a698a011924. * gnu/packages/patches/ganeti-pyyaml-compat.patch: New file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/virtualization.scm (ganeti)[source](patches): Add it. Marius Bakke 2022-03-31gnu: Add riscv-pk....* gnu/packages/virtualization.scm (riscv-pk): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Arun Isaac 2022-03-31gnu: spike: Substitute path to dtc instead of wrapping executables....* gnu/packages/virtualization.scm (spike)[arguments]: Delete the wrap-binary phase. Add a configure-dtc-path phase that substitutes the absolute path to dtc. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Arun Isaac 2022-03-24gnu: xen: Fix compilation....Suggested by Skyler <skyvine@protonmail.com>. * gnu/packages/virtualization.scm (xen)[arguments]: In 'patch' phase, substitute ".note.gnu.build-id" in 'xen.lds.S'. Ludovic Courtès 2022-03-23gnu: spike: Wrap binaries....* gnu/packages/virtualization.scm (spike)[arguments]: Add phase to wrap binaries with dtc. [inputs]: Add bash-minimal. Efraim Flashner 2022-03-22gnu: libosinfo: Update to 1.10.0....* gnu/packages/virtualization.scm (libosinfo): Update to 1.10.0. Maxim Cournoyer 2022-03-22gnu: libosinfo: Use hwdata for pci.ids and usb.ids....* gnu/packages/virtualization.scm (libosinfo) [arguments]: Use gexps. [configure-flags]: Search usb.ids and pci.ids via search-input-file. [phases]{patch-osinfo-path}: Use search-input-directory. [inputs]: Use new style. [native-inputs]: Use new style. Replace pci.ids and usb.ids by the hwdata pci and usb outputs, respectively. Co-authored-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> Brendan Tildesley 2022-03-13gnu: Add spike....* gnu/packages/virtualization.scm (spike): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Ekaitz Zarraga 2022-02-27gnu: qemu: Add liburing support....* gnu/packages/virtualization.scm (qemu)[inputs]: Add liburing. Tobias Geerinckx-Rice 2022-02-27gnu: qemu: Support Zstd compression....* gnu/packages/virtualization.scm (qemu)[inputs]: Add zstd. Tobias Geerinckx-Rice 2022-02-21gnu: criu: Propagate protobuf-c....The header of criu references to protobuf-c, including them in source files would require protobuf-c available in compilation environment. * gnu/packages/virtualization.scm (criu): Move protobuf-c from native-inputs to propagated-inputs. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zhu Zihao 2022-02-16gnu: qemu: Skip some tests on riscv64-linux....* gnu/packages/virtualization.scm (qemu)[arguments]: Add phase for riscv64-linux to skip some unsupported tests. Efraim Flashner 2022-02-07gnu: ganeti-instance-guix: Update to 0.6.1....* gnu/packages/virtualization.scm (ganeti-instance-guix): Update to 0.6.1. Marius Bakke