;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2022, 2023 Jan (janneke) Nieuwenhuizen ;;; ;;; 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 . (define-module (gnu packages dezyne) #:use-module (guix build-system gnu) #:use-module (guix download) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix gexp) #:use-module (guix packages) #:use-module (gnu packages) #:use-module (gnu packages base) #:use-module (gnu packages bash) #:use-module (gnu packages guile) #:use-module (gnu packages maths) #:use-module (gnu packages pkg-config)) (define-public dezyne (package (name "dezyne") (version "2.17.2") (source (origin (method url-fetch) (uri (string-append "https://dezyne.org/download/dezyne/" name "-" version ".tar.gz")) (patches (search-patches "dezyne-add-missing-shebangs.patch")) (sha256 (base32 "1v0anwr0iic26ck796b29dfyj1dxkjf935g134z98s95hvzzrhm3")))) (inputs (list bash-minimal guile-3.0-latest guile-json-4 guile-readline mcrl2-minimal sed)) (native-inputs (list guile-3.0-latest pkg-config)) (build-system gnu-build-system) (arguments (list #:modules `((ice-9 popen) ,@%gnu-build-system-modules) #:phases #~(modify-phases %standard-phases (add-before 'configure 'setenv (lambda _ (setenv "GUILE_AUTO_COMPILE" "0"))) (add-after 'install 'install-readmes (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) (base (string-append #$name "-" #$version)) (doc (string-append out "/share/doc/" base))) (mkdir-p doc) (copy-file "NEWS" (string-append doc "/NEWS"))))) (add-after 'install 'wrap-binaries (lambda* (#:key inputs outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) (bash (assoc-ref %build-inputs "bash-minimal")) (guile (assoc-ref %build-inputs "guile")) (json (assoc-ref %build-inputs "guile-json")) (mcrl2 (assoc-ref %build-inputs "mcrl2-minimal")) (readline (assoc-ref %build-inputs "guile-readline")) (sed (assoc-ref %build-inputs "sed")) (effective (read (open-pipe* OPEN_READ "guile" "-c" "(write (effective-version))"))) (path (list (string-append bash "/bin") (string-append guile "/bin") (string-append mcrl2 "/bin") (string-append sed "/bin"))) (scm-dir (string-append "/share/guile/site/" effective)) (scm-path (list (string-append out scm-dir) (string-append json scm-dir) (string-append readline scm-dir))) (go-dir (string-append "/lib/guile/" effective "/site-ccache/")) (go-path (list (string-append out go-dir) (string-append json go-dir) (string-append readline go-dir)))) (wrap-program (string-append out "/bin/dzn") `("PATH" ":" prefix ,path) `("GUILE_AUTO_COMPILE" ":" = ("0")) `("GUILE_LOAD_PATH" ":" prefix ,scm-path) `("GUILE_LOAD_COMPILED_PATH" ":" prefix ,go-path)))))))) (synopsis "Programming language with verifyable formal semantics") (description "Dezyne is a programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems. The Dezyne language has formal semantics expressed in @url{https://mcrl2.org,mCRL2}.") (home-page "https://dezyne.org") (license (list license:agpl3+ ;Dezyne itself license:lgpl3+ ;Dezyne runtime library license:cc0)))) ;Code snippets, images, test data taller/newt/partition.scm?id=3a7504cbc490f74d9b9d0a3a461058c1d6cafbe6'>installer: Reorder file system type listbox....Tobias Geerinckx-Rice 2021-09-23installer: Support XFS....Tobias Geerinckx-Rice 2021-06-29installer: Fix crash when deleting a free space partition....Mathieu Othacehe 2021-06-12installer: Check partitions UUIDs....Mathieu Othacehe 2021-06-12installer: Print user partitions....Mathieu Othacehe 2021-04-28installer: Force GPT disk label when UEFI is supported....Mathieu Othacehe