guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

01/02: gnu: Add scmackerel.


From: guix-commits
Subject: 01/02: gnu: Add scmackerel.
Date: Fri, 15 Dec 2023 06:24:10 -0500 (EST)

janneke pushed a commit to branch master
in repository guix.

commit e11b57de7368315d3fdc038c904e9d0e58db22d7
Author: Janneke Nieuwenhuizen <janneke@gnu.org>
AuthorDate: Fri Sep 1 20:35:49 2023 +0200

    gnu: Add scmackerel.
    
    * gnu/packages/dezyne.scm (scmackerel): New variable.
---
 gnu/packages/dezyne.scm | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/gnu/packages/dezyne.scm b/gnu/packages/dezyne.scm
index 1115ee8488..9dcaa8353d 100644
--- a/gnu/packages/dezyne.scm
+++ b/gnu/packages/dezyne.scm
@@ -105,3 +105,43 @@ has formal semantics expressed in 
@url{https://mcrl2.org,mCRL2}.";)
     (license (list license:agpl3+       ;Dezyne itself
                    license:lgpl3+       ;Dezyne runtime library
                    license:cc0)))) ;Code snippets, images, test data
+
+(define-public scmackerel
+  (package
+    (name "scmackerel")
+    (version "0.5.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://dezyne.org/download/scmackerel/";
+                           name "-" version ".tar.gz"))
+       (sha256
+        (base32 "1sgrkw3idsni1ylf0slwgzzwq31b1yx6s0j17yq99c88agk9cvd6"))))
+    (inputs (list bash-minimal
+                  guile-3.0
+                  guile-readline
+                  mcrl2-minimal))
+    (native-inputs (list guile-3.0 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 _
+              (let* ((base (string-append #$name "-" #$version))
+                     (doc (string-append #$output "/share/doc/" base)))
+                (mkdir-p doc)
+                (copy-file "NEWS" (string-append doc "/NEWS"))))))))
+    (synopsis "AST library in GNU Guile")
+    (description "SCMackerel is a library in GNU Guile to create abstract
+syntax trees (ASTs).  Initially written for @url{https://mcrl2.org,mCRL2} and
+now also supporting other languages, such as C, C++, and C#.  Based on GNU
+Guix records.")
+    (home-page "https://gitlab.com/janneke/scmackerel";)
+    (license (list license:gpl3+))))



reply via email to

[Prev in Thread] Current Thread [Next in Thread]