guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 7bbfe338fe2b0b9bee8a228d38d8352fb9ffb407
Author: Zhu Zihao <all_but_l...@163.com>
AuthorDate: Sat Jul 19 22:27:04 2025 +0800
gnu: Use license: prefix in (gnu packages scheme).
* gnu/packages/scheme.scm: Import (guix licenses) with the license:
prefix. Adjust all license fields.
Change-Id: I9b26dc2758048eb4eef34928ad830c43c58e60e8
Signed-off-by: Sharlatan Hellseher <sharlata...@gmail.com>
---
gnu/packages/scheme.scm | 53 ++++++++++++++++++++++++-------------------------
1 file changed, 26 insertions(+), 27 deletions(-)
diff --git a/gnu/packages/scheme.scm b/gnu/packages/scheme.scm
index 78d596ebc7..62ce82defc 100644
--- a/gnu/packages/scheme.scm
+++ b/gnu/packages/scheme.scm
@@ -27,6 +27,7 @@
;;; Copyright © 2024 Artyom V. Poptsov <poptsov.art...@gmail.com>
;;; Copyright © 2024 Zheng Junjie <873216...@qq.com>
;;; Copyright © 2024 Adam Faiz <adam.f...@disroot.org>
+;;; Copyright © 2025 Zhu Zihao <all_but_l...@163.com>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -45,10 +46,7 @@
(define-module (gnu packages scheme)
#:use-module (gnu packages)
- #:use-module ((guix licenses)
- #:select (gpl2 gpl2+ lgpl2.0+ lgpl2.1 lgpl2.1+ lgpl3+ asl2.0
- bsd-0 bsd-3 cc-by-sa4.0 non-copyleft expat
- public-domain))
+ #:use-module ((guix licenses) #:prefix license:)
#:use-module (guix gexp)
#:use-module (guix packages)
#:use-module (guix download)
@@ -254,7 +252,7 @@
"GNU/MIT Scheme is an implementation of the Scheme programming
language. It provides an interpreter, a compiler and a debugger. It also
features an integrated Emacs-like editor and a large runtime library.")
- (license gpl2+)
+ (license license:gpl2+)
(properties '((ftp-directory . "/gnu/mit-scheme/stable.pkg")))))
(define-public bigloo
@@ -357,7 +355,7 @@ programming languages but not offered by Scheme and
functional programming.
Bigloo compiles Scheme modules. It delivers small and fast stand alone binary
executables. Bigloo enables full connections between Scheme and C programs
and between Scheme and Java programs.")
- (license gpl2+))))
+ (license license:gpl2+))))
(define-public hop
(package
@@ -408,7 +406,7 @@ so-called diffuse Web. It is designed for programming
interactive web
applications in many fields such as multimedia (web galleries, music players,
...), ubiquitous and house automation (SmartPhones, personal appliance),
mashups, office (web agendas, mail clients, ...), etc.")
- (license gpl2+)))
+ (license license:gpl2+)))
(define-public scheme48
(package
@@ -431,7 +429,7 @@ interpreter and is designed to be used as a testbed for
experiments in
implementation techniques and as an expository tool.")
;; Most files are BSD-3; see COPYING for the few exceptions.
- (license bsd-3)))
+ (license license:bsd-3)))
(define-public scheme48-prescheme
(package
@@ -561,7 +559,7 @@ implementation techniques and as an expository tool.")
"Pre-Scheme is a statically compilable dialect of Scheme, used to
implement the
Scheme 48 virtual machine. Scheme 48 ships with a Pre-Scheme to C compiler
written
in Scheme, and a runtime library which allows Pre-Scheme code to run as
Scheme.")
- (license bsd-3)))
+ (license license:bsd-3)))
(define-public gambit-c
(package
@@ -593,7 +591,7 @@ compiler can produce standalone executables or compiled
modules which can be
loaded at run time. Interpreted code and compiled code can be freely
mixed.")
;; Dual license.
- (license (list lgpl2.1+ asl2.0))))
+ (license (list license:lgpl2.1+ license:asl2.0))))
(define-public chibi-scheme
(package
@@ -634,7 +632,7 @@ intended for use as an extension and scripting language in
C programs. In
addition to support for lightweight VM-based threads, each VM itself runs in
an isolated heap allowing multiple VMs to run simultaneously in different OS
threads.")
- (license bsd-3)))
+ (license license:bsd-3)))
(define-public unsyntax
(let ((commit "144772eeef4a812dd79515b67010d33ad2e7e890")
@@ -696,7 +694,7 @@ Unsyntax evaluates Scheme expressions and compiles and runs
Scheme programs by
first expanding them into a minimal dialect of R7RS (small) without any
syntactic extensions. The resulting expression or program is then evaluated
by an existing Scheme implementation.")
- (license expat))))
+ (license license:expat))))
(define-public sicp
(let ((commit "bda03f79d6e2e8899ac2b5ca6a3732210e290a79")
@@ -739,7 +737,7 @@ a textbook aiming to teach the principles of computer
programming.
Using Scheme, a dialect of the Lisp programming language, the book explains
core computer science concepts such as abstraction in programming,
metalinguistic abstraction, recursion, interpreters, and modular programming.")
- (license cc-by-sa4.0))))
+ (license license:cc-by-sa4.0))))
(define-public scheme48-rx
(let* ((commit "dd9037f6f9ea01019390614f6b126b7dd293798d")
@@ -779,7 +777,7 @@ metalinguistic abstraction, recursion, interpreters, and
modular programming.")
(description
"String pattern-matching library for scheme48 based on the SRE
regular-expression notation.")
- (license bsd-3))))
+ (license license:bsd-3))))
(define-public slib
(package
@@ -812,7 +810,7 @@ regular-expression notation.")
(synopsis "Compatibility and utility library for Scheme")
(description "SLIB is a portable Scheme library providing compatibility and
utility functions for all standard Scheme implementations.")
- (license (non-copyleft
+ (license (license:non-copyleft
"http://people.csail.mit.edu/jaffer/SLIB_COPYING.txt";
"Or see COPYING in the distribution."))))
@@ -868,7 +866,7 @@ utility functions for all standard Scheme implementations.")
implementation includes Hobbit, a Scheme-to-C compiler, which can
generate C files whose binaries can be dynamically or statically
linked with a SCM executable.")
- (license lgpl3+)))
+ (license license:lgpl3+)))
(define-public tinyscheme
(package
@@ -935,7 +933,7 @@ As an embedded interpreter, it allows multiple interpreter
states to coexist in
the same program, without any interference between them. Foreign functions in
C
can be added and values can be defined in the Scheme environment. Being quite
a
small program, it is easy to comprehend, get to grips with, and use.")
- (license bsd-3))) ; there are no licence headers
+ (license license:bsd-3))) ; there are no licence headers
(define-public tr7
(package
@@ -993,7 +991,7 @@ R7RS small of scheme programming language.
It is meant to be used as an embedded scripting interpreter for other
programs. A lot of functionality in TR7 is included conditionally, to allow
developers freedom in balancing features and footprint.")
- (license bsd-0)))
+ (license license:bsd-0)))
(define-public stalin
(let ((commit "ed1c9e339c352b7a6fee40bb2a47607c3466f0be"))
@@ -1070,7 +1068,7 @@ conversion, flow-directed interprocedural lifetime
analysis, automatic
in-lining, unboxing, and flow-directed program-specific and
program-point-specific low-level representation selection and code
generation.")
- (license gpl2+))))
+ (license license:gpl2+))))
(define-public s9fes
(package
@@ -1109,7 +1107,7 @@ comprehensible public-domain interpreter for R4RS Scheme
offering:
@item an integrated online help system
@item loads of useful library functions
@end itemize")
- (license public-domain)))
+ (license license:public-domain)))
(define-public femtolisp
(let ((commit "ec7601076a976f845bc05ad6bd3ed5b8cde58a97")
@@ -1160,7 +1158,7 @@ comprehensible public-domain interpreter for R4RS Scheme
offering:
simple, elegant Scheme dialect. It is a lisp-1 with lexical scope.
The core is 12 builtin special forms and 33 builtin functions.")
(home-page "https://github.com/JeffBezanson/femtolisp";)
- (license bsd-3))))
+ (license license:bsd-3))))
(define-public gauche
(package
@@ -1219,7 +1217,7 @@ large scripts quickly. Quick startup, built-in system
interface, native
multilingual support are some of the goals. Gauche comes with a package
manager/installer @code{gauche-package} which can download, compile, install
and list gauche extension packages.")
- (license bsd-3)))
+ (license license:bsd-3)))
(define-public sbcl-airship-scheme
(let ((commit "1862db81dfa67729444916c361f39f9f1c5a2ccd")
@@ -1248,7 +1246,7 @@ and list gauche extension packages.")
"This is a R7RS Scheme implementation designed to run within
a Common Lisp environment.")
(home-page "https://gitlab.com/mbabich/airship-scheme";)
- (license expat))))
+ (license license:expat))))
(define-public cl-airship-scheme
(sbcl-package->cl-source-package sbcl-airship-scheme))
@@ -1337,7 +1335,8 @@ system, similar to PLT Scheme's (sorry, Racket) modules.
The main difference fr
is that Gerbil modules are single instantiation, supporting high performance
ahead of
time compilation and compiled macros.")
(home-page "https://cons.io";)
- (license `(,lgpl2.1 ,asl2.0))))
+ (license (list license:lgpl2.1
+ license:asl2.0))))
(define-public emacs-gerbil-mode
(package
@@ -1388,7 +1387,7 @@ Gerbil code within Emacs.")))
portable system for writing standalone programs in a subjectively pleasant
dialect of Lisp. It has a minimal core and runtime, purely functional
operation, and support for asynchronous evaluation.")
- (license expat)))
+ (license license:expat)))
(define-public stklos
(package
@@ -1435,7 +1434,7 @@ features defined in R7RS small. The aim of this
implementation is to be fast
as well as light. The implementation is based on an ad-hoc Virtual
Machine. STklos can also be compiled as a library and embedded in an
application.")
- (license gpl2+)))
+ (license license:gpl2+)))
(define-public r7rs-small-texinfo
(let ((commit "38a703976ea6353e32b52a5187dbdaf77fb2f050")
@@ -1480,4 +1479,4 @@ application.")
"R7RS Small standard of the Scheme programming language in Info format")
(description
"Revised^7 Report of the Algorithmic Language Scheme adapted to Texinfo
format.")
- (license (non-copyleft "file://COPYING")))))
+ (license (license:non-copyleft "file://COPYING")))))
