[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
07/09: gnu: Add cl-typo.
From: |
guix-commits |
Subject: |
07/09: gnu: Add cl-typo. |
Date: |
Sat, 19 Nov 2022 06:59:37 -0500 (EST) |
glv pushed a commit to branch master
in repository guix.
commit c3267528b5a0231b0920d25dff9a927ebd6c5440
Author: Paul A. Patience <paul@apatience.com>
AuthorDate: Sat Nov 19 04:11:36 2022 +0000
gnu: Add cl-typo.
* gnu/packages/lisp-xyz.scm (sbcl-typo, cl-typo, ecl-typo): New
variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
---
gnu/packages/lisp-xyz.scm | 36 ++++++++++++++++++++++++++++++++++++
1 file changed, 36 insertions(+)
diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm
index 748c9c4eb8..824fa6a406 100644
--- a/gnu/packages/lisp-xyz.scm
+++ b/gnu/packages/lisp-xyz.scm
@@ -7057,6 +7057,42 @@ the return type of a function.")
;; The tests get stuck indefinitly
'(#:tests? #f))))
+(define-public sbcl-typo
+ (let ((commit "0e883490f81edf2a1be4e5b101d1caec78d7853b")
+ (revision "0"))
+ (package
+ (name "sbcl-typo")
+ (version (git-version "0.0.0" revision commit))
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/marcoheisig/Typo")
+ (commit commit)))
+ (file-name (git-file-name "cl-typo" version))
+ (sha256
+ (base32 "08cmkjl3f77rfhxbjyd6f3kinhzak30mdfphnpf73sh1vw4v0vym"))))
+ (build-system asdf-build-system/sbcl)
+ (inputs
+ (list sbcl-alexandria
+ sbcl-closer-mop
+ sbcl-introspect-environment
+ sbcl-trivia
+ sbcl-trivial-arguments
+ sbcl-trivial-garbage))
+ (home-page "https://github.com/marcoheisig/Typo")
+ (synopsis "Portable type inference library for Common Lisp")
+ (description
+ "Typo is a portable library for Common Lisp that does approximate
+reasoning about types, but without consing.")
+ (license license:expat))))
+
+(define-public cl-typo
+ (sbcl-package->cl-source-package sbcl-typo))
+
+(define-public ecl-typo
+ (sbcl-package->ecl-package sbcl-typo))
+
(define-public sbcl-optima
(let ((commit "373b245b928c1a5cce91a6cb5bfe5dd77eb36195")
(revision "1"))
- branch master updated (7502af7931 -> cc08d374b2), guix-commits, 2022/11/19
- 05/09: gnu: Add cl-graph., guix-commits, 2022/11/19
- 07/09: gnu: Add cl-typo.,
guix-commits <=
- 04/09: gnu: Add ecl-moptilities., guix-commits, 2022/11/19
- 08/09: gnu: Add cl-ucons., guix-commits, 2022/11/19
- 01/09: gnu: Update cl-njson to 0.2.3., guix-commits, 2022/11/19
- 02/09: gnu: cl-nactivitypub: Update to 0.0.4., guix-commits, 2022/11/19
- 03/09: gnu: cl-containers: Build more systems., guix-commits, 2022/11/19
- 06/09: gnu: Add cl-dot., guix-commits, 2022/11/19
- 09/09: gnu: sbcl: Fix build on aarch64., guix-commits, 2022/11/19