* [bug#59375] [PATCH] gnu: Add cl-typo.
@ 2022-11-19 4:11 Paul A. Patience
2022-11-19 12:02 ` bug#59375: " Guillaume Le Vaillant
0 siblings, 1 reply; 2+ messages in thread
From: Paul A. Patience @ 2022-11-19 4:11 UTC (permalink / raw)
To: 59375; +Cc: Paul A. Patience
* gnu/packages/lisp-xyz.scm (sbcl-typo, cl-typo, ecl-typo): New
variables.
---
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 1498a9657d..d1f6b9b5e2 100644
--- a/gnu/packages/lisp-xyz.scm
+++ b/gnu/packages/lisp-xyz.scm
@@ -6934,6 +6934,42 @@ (define-public ecl-type-i
;; 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"))
--
2.38.0
^ permalink raw reply related [flat|nested] 2+ messages in thread
* bug#59375: [PATCH] gnu: Add cl-typo.
2022-11-19 4:11 [bug#59375] [PATCH] gnu: Add cl-typo Paul A. Patience
@ 2022-11-19 12:02 ` Guillaume Le Vaillant
0 siblings, 0 replies; 2+ messages in thread
From: Guillaume Le Vaillant @ 2022-11-19 12:02 UTC (permalink / raw)
To: Paul A. Patience; +Cc: 59375-done
[-- Attachment #1: Type: text/plain, Size: 66 bytes --]
Patch pushed as c3267528b5a0231b0920d25dff9a927ebd6c5440.
Thanks.
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 247 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-11-19 12:04 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-19 4:11 [bug#59375] [PATCH] gnu: Add cl-typo Paul A. Patience
2022-11-19 12:02 ` bug#59375: " Guillaume Le Vaillant
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).