diff options
Diffstat (limited to 'guix.scm')
-rw-r--r-- | guix.scm | 52 |
1 files changed, 17 insertions, 35 deletions
@@ -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, | ||
58 | property-based testing. It follows closely the QuickCheck library | ||
59 | written in Haskell. You can use it to define a property (a predicate | ||
60 | with specifications for its inputs) and test it by generating many | ||
61 | random 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) |