summaryrefslogtreecommitdiff
path: root/gnu/packages/lisp-check.scm
diff options
context:
space:
mode:
authorjgart <jgart@dismail.de>2025-06-25 16:34:40 -0400
committerjgart <jgart@dismail.de>2025-06-25 16:34:40 -0400
commit63be704e25228b126ab72eb5a987db28f6928a1f (patch)
tree7d99e07f58ee6d17180e2dc07fba271517454cb2 /gnu/packages/lisp-check.scm
parent2cad215c237d8add2e03f5bcc9f023cb39370d9f (diff)
gnu: Add clasp-rt.
* gnu/packages/lisp-check.scm (clasp-rt): New variable. Change-Id: I59753fb945a0c6d0f811c1b1bf1bc1c3bdb49561
Diffstat (limited to 'gnu/packages/lisp-check.scm')
-rw-r--r--gnu/packages/lisp-check.scm3
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/packages/lisp-check.scm b/gnu/packages/lisp-check.scm
index 655da381a8..bb5b808cf6 100644
--- a/gnu/packages/lisp-check.scm
+++ b/gnu/packages/lisp-check.scm
@@ -945,6 +945,9 @@ This is intended to be a successor of Prove.")
(define-public ecl-rt
(sbcl-package->ecl-package sbcl-rt))
+(define-public clasp-rt
+ (sbcl-package->clasp-package sbcl-rt))
+
(define-public sbcl-should-test
(let ((commit "48facb9f9c07aeceb71fc0c48ce17fd7d54a09d4")
(revision "0"))