aboutsummaryrefslogtreecommitdiff
path: root/guix.scm
diff options
context:
space:
mode:
Diffstat (limited to 'guix.scm')
-rw-r--r--guix.scm52
1 files changed, 17 insertions, 35 deletions
diff --git a/guix.scm b/guix.scm
index b543a8e..4b6968b 100644
--- a/guix.scm
+++ b/guix.scm
@@ -1,7 +1,5 @@
1;;; GNU Guix --- Functional package management for GNU 1;;; GNU Guix --- Functional package management for GNU
2;;; Copyright © 2021 Maxime Devos <maximedevos@telenet.be> 2;;; Copyright © 2021 GNUnet e.V.
3;;; Copyright © 2021 Timothy Sample <samplet@ngyro.com>
4;;; ^ definition of guile-quickcheck
5;;; 3;;;
6;;; This file is part of GNU Guix. 4;;; This file is part of GNU Guix.
7;;; 5;;;
@@ -29,38 +27,12 @@
29 (gnu packages text-editors) 27 (gnu packages text-editors)
30 (guix packages) 28 (guix packages)
31 (guix gexp) 29 (guix gexp)
30 (guix git)
32 (guix git-download) 31 (guix git-download)
33 (guix download) 32 (guix download)
34 (guix build-system gnu) 33 (guix build-system gnu)
35 ((guix licenses) #:prefix license:)) 34 ((guix licenses) #:prefix license:))
36 35
37(define-public guile-quickcheck
38 (package
39 (name "guile-quickcheck")
40 (version "0.1.0")
41 (source (origin
42 (method url-fetch)
43 (uri (string-append "https://files.ngyro.com/"
44 "guile-quickcheck/guile-quickcheck-"
45 version ".tar.gz"))
46 (sha256
47 (base32
48 "03mwi1l3354x52nar0zwhcm0x29yai9xjln4p4gbchwvx5dsr6fb"))))
49 (build-system gnu-build-system)
50 (native-inputs
51 `(("pkg-config" ,pkg-config)
52 ("guile" ,guile-3.0)))
53 (inputs
54 `(("guile" ,guile-3.0)))
55 (home-page "https://ngyro.com/software/guile-quickcheck.html")
56 (synopsis "Randomized property-based testing for Guile")
57 (description "This Guile library provides tools for randomized,
58property-based testing. It follows closely the QuickCheck library
59written in Haskell. You can use it to define a property (a predicate
60with specifications for its inputs) and test it by generating many
61random inputs and seeing if it holds.")
62 (license license:gpl3+)))
63
64(define guile-3.0/fixed 36(define guile-3.0/fixed
65 (package 37 (package
66 (inherit guile-3.0-latest) 38 (inherit guile-3.0-latest)
@@ -70,7 +42,8 @@ random inputs and seeing if it holds.")
70 (patches (list (local-file "0001-Fix-non-revealed-port-is-closed-ports.test.patch") 42 (patches (list (local-file "0001-Fix-non-revealed-port-is-closed-ports.test.patch")
71 (local-file "0001-ice-9-read-Parse-properly.patch"))))))) 43 (local-file "0001-ice-9-read-Parse-properly.patch")))))))
72 44
73;; This has some I/O patches (wait-for-port-readable-operation). 45;; This has some I/O patches (wait-until-port-readable-operation),
46;; see <https://github.com/wingo/fibers/pull/50>.
74(define-public guile-fibers/patched 47(define-public guile-fibers/patched
75 (package 48 (package
76 (inherit guile-fibers) 49 (inherit guile-fibers)
@@ -78,9 +51,9 @@ random inputs and seeing if it holds.")
78 (method git-fetch) 51 (method git-fetch)
79 (uri (git-reference 52 (uri (git-reference
80 (url "https://notabug.org/maximed/fibers") 53 (url "https://notabug.org/maximed/fibers")
81 (commit "3836b288eedfdb5064fdc84643f1e15a00071dbe"))) 54 (commit "4658b62b402e7d4920ab528da1b42835cea03429")))
82 (sha256 55 (sha256
83 (base32 "08rkmz1nkjk1l0bydic4vj5h7vd43l2sqskm14lcfz8pfkks7sx8")))) 56 (base32 "1956rz411p3yf7a75z2k1hii88kmn25y2p32bw6w45yy8pynm1rg"))))
84 (native-inputs 57 (native-inputs
85 `(("autoconf" ,autoconf) 58 `(("autoconf" ,autoconf)
86 ("gettext" ,gettext-minimal) 59 ("gettext" ,gettext-minimal)
@@ -88,12 +61,21 @@ random inputs and seeing if it holds.")
88 ("automake" ,automake) 61 ("automake" ,automake)
89 ,@(package-native-inputs guile-fibers))))) 62 ,@(package-native-inputs guile-fibers)))))
90 63
64(define %source-dir (dirname (current-filename)))
65
91(define-public scheme-gnunet 66(define-public scheme-gnunet
92 (package 67 (package
93 (name "scheme-gnunet") 68 (name "scheme-gnunet")
94 (version "0.0") 69 (version "0.1")
95 (source #f) 70 (source (local-file %source-dir
71 #:recursive? #t
72 #:select? (git-predicate %source-dir)))
96 (build-system gnu-build-system) 73 (build-system gnu-build-system)
74 (arguments
75 '(#:configure-flags
76 (list
77 "--with-guile-site-dir=$(datarootdir)/guile/site/$(GUILE_EFFECTIVE_VERSION)"
78 "--with-guile-site-ccache-dir=$(libdir)/guile/site/$(GUILE_EFFECTIVE_VERSION)/site-ccache")))
97 (propagated-inputs `(("guile-zlib" ,guile-zlib) 79 (propagated-inputs `(("guile-zlib" ,guile-zlib)
98 ("guile-bytestructures" ,guile-bytestructures) 80 ("guile-bytestructures" ,guile-bytestructures)
99 ("guile-fibers" ,guile-fibers/patched) 81 ("guile-fibers" ,guile-fibers/patched)