aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaxime Devos <maximedevos@telenet.be>2021-09-21 23:30:09 +0200
committerMaxime Devos <maximedevos@telenet.be>2021-09-21 23:30:09 +0200
commit0ada42b3d01f34adc5daf3379f26b5032b7d1fdf (patch)
tree48a54ec3b4f405cb50b9806faf7ef88c584d8edb
parent008e48e11c24b9a82e725c55e00c7e0279e162af (diff)
parent749ced44b5baf6555dee1cd0c0f977b91670a547 (diff)
downloadgnunet-scheme-0ada42b3d01f34adc5daf3379f26b5032b7d1fdf.tar.gz
gnunet-scheme-0ada42b3d01f34adc5daf3379f26b5032b7d1fdf.zip
Merge branch 'master' into dht
Diffstat
-rw-r--r--.gitignore3
-rw-r--r--.mailmap2
-rw-r--r--Makefile.am20
-rw-r--r--README.org2
-rw-r--r--ROADMAP.org2
-rw-r--r--build-aux/config.rpath0
-rw-r--r--configure.ac36
-rw-r--r--doc/gnudir3
-rw-r--r--doc/scheme-gnunet.tm212
-rw-r--r--examples/web.scm2
-rw-r--r--gnu/extractor/enum.scm2
-rw-r--r--gnu/extractor/metaformats.scm2
-rw-r--r--gnu/extractor/metatypes.scm2
-rw-r--r--gnu/gnunet/concurrency/repeated-condition.scm2
-rw-r--r--gnu/gnunet/concurrency/update.scm2
-rw-r--r--gnu/gnunet/config/db.scm2
-rw-r--r--gnu/gnunet/config/default.conf2
-rw-r--r--gnu/gnunet/config/expand.scm3
-rw-r--r--gnu/gnunet/config/fs.scm2
-rw-r--r--gnu/gnunet/config/parser.scm3
-rw-r--r--gnu/gnunet/config/value-parser.scm3
-rw-r--r--gnu/gnunet/crypto/struct.scm3
-rw-r--r--gnu/gnunet/data-string.scm3
-rw-r--r--gnu/gnunet/directory.scm3
-rw-r--r--gnu/gnunet/fs-uri.scm3
-rw-r--r--gnu/gnunet/hashcode-ascii.scm3
-rw-r--r--gnu/gnunet/hashcode.scm1
-rw-r--r--gnu/gnunet/hashcode/struct.scm3
-rw-r--r--gnu/gnunet/icmp/struct.scm2
-rw-r--r--gnu/gnunet/message/protocols.scm3
-rw-r--r--gnu/gnunet/message/protocols.scmgen3
-rw-r--r--gnu/gnunet/metadata.scm3
-rw-r--r--gnu/gnunet/metadata/struct.scm3
-rw-r--r--gnu/gnunet/mq-impl/stream.scm5
-rw-r--r--gnu/gnunet/mq.scm3
-rw-r--r--gnu/gnunet/mq/envelope.scm3
-rw-r--r--gnu/gnunet/mq/error-reporting.scm2
-rw-r--r--gnu/gnunet/mq/handler.scm2
-rw-r--r--gnu/gnunet/mq/prio-prefs.scm3
-rw-r--r--gnu/gnunet/mq/prio-prefs2.scm3
-rw-r--r--gnu/gnunet/netstruct/procedural.scm2
-rw-r--r--gnu/gnunet/netstruct/syntactic.scm2
-rw-r--r--gnu/gnunet/nse/client.scm2
-rw-r--r--gnu/gnunet/nse/struct.scm3
-rw-r--r--gnu/gnunet/scripts/download-store.scm2
-rw-r--r--gnu/gnunet/scripts/guix-stuff.scm2
-rw-r--r--gnu/gnunet/scripts/publish-store.scm2
-rw-r--r--gnu/gnunet/util/cmsg.scm2
-rw-r--r--gnu/gnunet/util/struct.scm3
-rw-r--r--gnu/gnunet/utils/bv-slice.scm2
-rw-r--r--gnu/gnunet/utils/decompress.scm2
-rw-r--r--gnu/gnunet/utils/hat-let.scm2
-rw-r--r--gnu/gnunet/utils/netstruct.scm2
-rw-r--r--gnu/gnunet/utils/platform-enum.scm2
-rw-r--r--gnu/gnunet/utils/tokeniser.scm3
-rw-r--r--guix.scm52
-rw-r--r--tests/bv-slice.scm2
-rw-r--r--tests/cmsg.scm2
-rw-r--r--tests/config-db.scm2
-rw-r--r--tests/config-expand.scm2
-rw-r--r--tests/config-fs.scm2
-rw-r--r--tests/config-parser.scm2
-rw-r--r--tests/config-value-parser.scm2
-rw-r--r--tests/envelope.scm2
-rw-r--r--tests/error-reporting.scm2
-rw-r--r--tests/message-handler.scm2
-rw-r--r--tests/mq-stream.scm2
-rw-r--r--tests/mq.scm3
-rw-r--r--tests/netstruct.scm2
-rw-r--r--tests/network-size.scm2
-rw-r--r--tests/repeated-condition.scm2
-rw-r--r--tests/time.scm2
-rw-r--r--tests/tokeniser.scm2
-rw-r--r--tests/update.scm2
-rw-r--r--tests/utils.scm2
75 files changed, 309 insertions, 176 deletions
diff --git a/.gitignore b/.gitignore
index 4c90433..6e9b2dd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,4 @@
1# Copyright (C) 2020, 2021 Maxime Devos 1# Copyright (C) 2020, 2021 GNUnet e.V.
2# SPDX-License-Identifier: FSFAP 2# SPDX-License-Identifier: FSFAP
3# Copying and distribution of this file, with or without modification, 3# Copying and distribution of this file, with or without modification,
4# are permitted in any medium without royalty provided the copyright 4# are permitted in any medium without royalty provided the copyright
@@ -16,7 +16,6 @@
16/configure 16/configure
17/build-aux/compile 17/build-aux/compile
18/build-aux/config.guess 18/build-aux/config.guess
19/build-aux/config.rpath
20/build-aux/config.sub 19/build-aux/config.sub
21/build-aux/install-sh 20/build-aux/install-sh
22/build-aux/missing 21/build-aux/missing
diff --git a/.mailmap b/.mailmap
index dafd8ad..3e9d8a2 100644
--- a/.mailmap
+++ b/.mailmap
@@ -1,4 +1,4 @@
1# Copyright (C) 2021 Maxime Devos 1# Copyright (C) 2021 GNUnet e.V.
2# SPDX-License-Identifier: FSFAP 2# SPDX-License-Identifier: FSFAP
3# Copying and distribution of this file, with or without modification, 3# Copying and distribution of this file, with or without modification,
4# are permitted in any medium without royalty provided the copyright 4# are permitted in any medium without royalty provided the copyright
diff --git a/Makefile.am b/Makefile.am
index 58fa8e3..770ab43 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1,6 +1,6 @@
1## Process this file with automake to produce Makefile.in 1## Process this file with automake to produce Makefile.in
2# Copyright (C) 2000-2012 Free Software Foundation, Inc. 2# Copyright (C) 2000-2012 Free Software Foundation, Inc.
3# Copyright (C) 2020, 2021 Maxime Devos 3# Copyright (C) 2020, 2021 GNUnet e.V.
4# 4#
5# Author (GnuTLS): Nikos Mavrogiannopoulos 5# Author (GnuTLS): Nikos Mavrogiannopoulos
6# Author (scheme-GNUnet): Maxime Devos 6# Author (scheme-GNUnet): Maxime Devos
@@ -148,9 +148,14 @@ TESTS =
148 148
149# Scheme tests 149# Scheme tests
150# FIXME ./pre-inst-env & ./test-env 150# FIXME ./pre-inst-env & ./test-env
151#
152# Set --auto-compile, because ‘tests/envelope.scm - references dropped after
153# sent’ requires optimisation to avoid keeping references. Set XDG_CACHE_HOME
154# because $HOME may be unwritable and to reduce clutter.
151SCM_LOG_DRIVER = \ 155SCM_LOG_DRIVER = \
152 $(GUILE) -L $(top_srcdir) -C $(top_builddir) \ 156 env XDG_CACHE_HOME="$(abs_builddir)" $(GUILE) --auto-compile -L \
153 -e main $(top_srcdir)/build-aux/test-driver.scm 157 $(top_srcdir) -C $(top_builddir) -e main \
158 $(top_srcdir)/build-aux/test-driver.scm
154 159
155SCM_TESTS = \ 160SCM_TESTS = \
156 tests/envelope.scm \ 161 tests/envelope.scm \
@@ -178,8 +183,13 @@ SCM_TESTS_ENVIRONMENT = \
178TESTS += $(SCM_TESTS) 183TESTS += $(SCM_TESTS)
179EXTRA_DIST = $(SCM_TESTS) tests/utils.scm build-aux/test-driver.scm 184EXTRA_DIST = $(SCM_TESTS) tests/utils.scm build-aux/test-driver.scm
180 185
181# For documentation (TODO regenerate indices) 186# For documentation (TODO regenerate indices).
182TEXMACS_CONVERT = xvfb-run -- texmacs 187# Set HOME to avoid interfering with the user's TeXmacs
188# configuration and because HOME can be unwritable.
189#
190# --auto-servernum is required to let multiple xvfb-run
191# run concurrently.
192TEXMACS_CONVERT = env "HOME=$(abs_builddir)" xvfb-run --auto-servernum -- texmacs
183# Use MathML for formulae instead of PNG images. 193# Use MathML for formulae instead of PNG images.
184# While the images are prettier than the rendering by the browser, 194# While the images are prettier than the rendering by the browser,
185# they aren't accessible and it is somewhat difficult to tell Automake 195# they aren't accessible and it is somewhat difficult to tell Automake
diff --git a/README.org b/README.org
index 6940fac..984f77e 100644
--- a/README.org
+++ b/README.org
@@ -1,4 +1,4 @@
1# Copyright (C) 2020, 2021 Maxime Devos 1# Copyright (C) 2020, 2021 GNUnet e.V.
2# SPDX-License-Identifier: FSFAP 2# SPDX-License-Identifier: FSFAP
3# Copying and distribution of this file, with or without modification, 3# Copying and distribution of this file, with or without modification,
4# are permitted in any medium without royalty provided the copyright 4# are permitted in any medium without royalty provided the copyright
diff --git a/ROADMAP.org b/ROADMAP.org
index 53827ff..a62eff9 100644
--- a/ROADMAP.org
+++ b/ROADMAP.org
@@ -1,4 +1,4 @@
1# Copyright (C) 2020, 2021 Maxime Devos 1# Copyright (C) 2020, 2021 GNUnet e.V.
2# SPDX-License-Identifier: FSFAP 2# SPDX-License-Identifier: FSFAP
3# Copying and distribution of this file, with or without modification, 3# Copying and distribution of this file, with or without modification,
4# are permitted in any medium without royalty provided the copyright 4# are permitted in any medium without royalty provided the copyright
diff --git a/build-aux/config.rpath b/build-aux/config.rpath
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/build-aux/config.rpath
diff --git a/configure.ac b/configure.ac
index 8561569..6b701e9 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,6 +1,6 @@
1dnl Process this file with autoconf to produce a configure script. 1dnl Process this file with autoconf to produce a configure script.
2# Copyright (C) 2000-2012, 2016, 2019 Free Software Foundation, Inc. 2# Copyright (C) 2000-2012, 2016, 2019 Free Software Foundation, Inc.
3# Copyright (C) 2020, 2021 Maxime Devos 3# Copyright (C) 2020, 2021 GNUnet e.V.
4# 4#
5# Author (GnuTLS): Nikos Mavrogiannopoulos, Simon Josefsson 5# Author (GnuTLS): Nikos Mavrogiannopoulos, Simon Josefsson
6# Author (scheme-GNUnet): Maxime Devos 6# Author (scheme-GNUnet): Maxime Devos
@@ -24,7 +24,7 @@ dnl Process this file with autoconf to produce a configure script.
24# Not all scheme-GNUnet code is licensed as GPL, some is licensed as AGPL. 24# Not all scheme-GNUnet code is licensed as GPL, some is licensed as AGPL.
25 25
26AC_PREREQ([2.61]) 26AC_PREREQ([2.61])
27AC_INIT([scheme-gnunet], [0], []) 27AC_INIT([scheme-gnunet], [0.1], [bug-gnunet@gnu.org])
28AC_CONFIG_AUX_DIR([build-aux]) 28AC_CONFIG_AUX_DIR([build-aux])
29AC_CONFIG_MACRO_DIRS([m4]) 29AC_CONFIG_MACRO_DIRS([m4])
30 30
@@ -36,13 +36,6 @@ AC_MSG_RESULT([***
36dnl Checks for programs. 36dnl Checks for programs.
37#PKG_PROG_PKG_CONFIG 37#PKG_PROG_PKG_CONFIG
38 38
39dnl GNU Guile support
40AC_MSG_CHECKING([whether building the Scheme implementation])
41AC_ARG_ENABLE(guile,
42 AS_HELP_STRING([--enable-guile], [build GNU Guile implementation]),
43 [opt_guile_impl=$enableval], [opt_guile_impl=yes])
44AC_MSG_RESULT($opt_guile_bindings)
45
46AC_ARG_WITH([guile-site-dir], AS_HELP_STRING([--with-guile-site-dir=DIR], 39AC_ARG_WITH([guile-site-dir], AS_HELP_STRING([--with-guile-site-dir=DIR],
47 [guile site directory for scheme-gnunet, default is guile system settings]), 40 [guile site directory for scheme-gnunet, default is guile system settings]),
48 [guilesitedir="${withval}"], [guilesitedir='$(GUILE_SITE)']) 41 [guilesitedir="${withval}"], [guilesitedir='$(GUILE_SITE)'])
@@ -52,24 +45,17 @@ AC_ARG_WITH([guile-site-ccache-dir], AS_HELP_STRING([--with-guile-site-ccache-di
52AC_SUBST([guilesitedir]) 45AC_SUBST([guilesitedir])
53AC_SUBST([guilesiteccachedir]) 46AC_SUBST([guilesiteccachedir])
54 47
55if test "$opt_guile_impl" = "yes"; then 48dnl Check for 'guild', which can be used to compile Scheme code
56 AC_MSG_RESULT([*** 49dnl on Guile 2.x and 3.x.
57*** Detecting GNU Guile... 50AC_PATH_PROG([GUILD], [guild])
58]) 51AC_SUBST([GUILD])
59
60 dnl Check for 'guild', which can be used to compile Scheme code
61 dnl on Guile 2.x and 3.x.
62 AC_PATH_PROG([GUILD], [guild])
63 AC_SUBST([GUILD])
64 52
65 dnl TODO check if 2.x works 53dnl TODO check if 2.x works
66 GUILE_PKG([3.0 2.2 2.0]) 54GUILE_PKG([3.0 2.2 2.0])
67 GUILE_PROGS 55GUILE_PROGS
68 GUILE_SITE_DIR 56GUILE_SITE_DIR
69 GUILE_FLAGS 57GUILE_FLAGS
70fi
71 58
72AM_CONDITIONAL([HAVE_GUILE], [test "$opt_guile_bindings" = "yes"])
73AM_CONDITIONAL([HAVE_GUILD], [test "x$GUILD" != "x"]) 59AM_CONDITIONAL([HAVE_GUILD], [test "x$GUILD" != "x"])
74 60
75AC_OUTPUT([Makefile]) 61AC_OUTPUT([Makefile])
diff --git a/doc/gnudir b/doc/gnudir
index 5fd950c..cc78149 100644
--- a/doc/gnudir
+++ b/doc/gnudir
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2003, 2004, 2005, 2006, 2008, 2009, 2010 GNUnet e.V. 2;; Copyright (C) 2003, 2004, 2005, 2006, 2008, 2009, 2010, 2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos <maxime.devos@student.kuleuven.be>
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/doc/scheme-gnunet.tm b/doc/scheme-gnunet.tm
index e3e87f9..8d4ed65 100644
--- a/doc/scheme-gnunet.tm
+++ b/doc/scheme-gnunet.tm
@@ -3,10 +3,11 @@
3<style|<tuple|tmmanual|british|doc>> 3<style|<tuple|tmmanual|british|doc>>
4 4
5<\body> 5<\body>
6 <doc-data|<doc-title|Scheme-GNUnet manual>|<doc-author|<author-data|<author-name|Maxime 6 <doc-data|<doc-title|Scheme-GNUnet (0.1)
7 manual>|<doc-author|<author-data|<author-name|Maxime
7 Devos>|<author-email|maximedevos@telenet.be>>>> 8 Devos>|<author-email|maximedevos@telenet.be>>>>
8 9
9 Copyright (C) 2021 Maxime Devos 10 Copyright (C) 2021 GNUnet e.V.
10 11
11 Permission is granted to copy, distribute and/or modify this document under 12 Permission is granted to copy, distribute and/or modify this document under
12 the terms of the GNU Free Documentation License, Version 1.3 or any later 13 the terms of the GNU Free Documentation License, Version 1.3 or any later
@@ -17,6 +18,174 @@
17 18
18 \; 19 \;
19 20
21 <\table-of-contents|toc>
22 <vspace*|1fn><with|font-series|bold|math-font-series|bold|font-shape|small-caps|1.<space|2spc>Installation
23 and contributing guide> <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
24 <pageref|auto-1><vspace|0.5fn>
25
26 1.1.<space|2spc>Building from source <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
27 <no-break><pageref|auto-2>
28
29 <with|par-left|1tab|1.1.1.<space|2spc>Authenticating new source code
30 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
31 <no-break><pageref|auto-3>>
32
33 1.2.<space|2spc>Writing tests <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
34 <no-break><pageref|auto-4>
35
36 1.3.<space|2spc>Contact <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
37 <no-break><pageref|auto-6>
38
39 1.4.<space|2spc>License <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
40 <no-break><pageref|auto-7>
41
42 <vspace*|1fn><with|font-series|bold|math-font-series|bold|font-shape|small-caps|2.<space|2spc>Application
43 guide> <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
44 <pageref|auto-8><vspace|0.5fn>
45
46 <vspace*|1fn><with|font-series|bold|math-font-series|bold|font-shape|small-caps|3.<space|2spc>Programming
47 guide> <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
48 <pageref|auto-9><vspace|0.5fn>
49
50 3.1.<space|2spc>Concurrency <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
51 <no-break><pageref|auto-10>
52
53 <with|par-left|4tab|Repeated conditions
54 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
55 <no-break><pageref|auto-11><vspace|0.15fn>>
56
57 3.2.<space|2spc>Configuration <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
58 <no-break><pageref|auto-12>
59
60 <with|par-left|1tab|3.2.1.<space|2spc>Locating configuration files
61 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
62 <no-break><pageref|auto-13>>
63
64 <with|par-left|1tab|3.2.2.<space|2spc>Loading configuration files
65 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
66 <no-break><pageref|auto-14>>
67
68 3.3.<space|2spc>Manipulation of network structures
69 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
70 <no-break><pageref|auto-15>
71
72 <with|par-left|1tab|3.3.1.<space|2spc>Documentation
73 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
74 <no-break><pageref|auto-21>>
75
76 <with|par-left|1tab|3.3.2.<space|2spc>Reading and writing
77 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
78 <no-break><pageref|auto-25>>
79
80 <with|par-left|1tab|3.3.3.<space|2spc>Primitive types
81 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
82 <no-break><pageref|auto-30>>
83
84 <with|par-left|1tab|3.3.4.<space|2spc>Packing
85 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
86 <no-break><pageref|auto-31>>
87
88 3.4.<space|2spc>Communication with services
89 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
90 <no-break><pageref|auto-32>
91
92 <with|par-left|1tab|3.4.1.<space|2spc>Asynchronuously connecting
93 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
94 <no-break><pageref|auto-33>>
95
96 <with|par-left|1tab|3.4.2.<space|2spc>Message handler
97 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
98 <no-break><pageref|auto-34>>
99
100 <with|par-left|1tab|3.4.3.<space|2spc>Message type database
101 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
102 <no-break><pageref|auto-38>>
103
104 <with|par-left|1tab|3.4.4.<space|2spc>Error handler
105 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
106 <no-break><pageref|auto-39>>
107
108 <with|par-left|1tab|3.4.5.<space|2spc>Ordering of injected errors and
109 messages and sent messages <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
110 <no-break><pageref|auto-40>>
111
112 <with|par-left|1tab|3.4.6.<space|2spc>Disconnecting
113 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
114 <no-break><pageref|auto-41>>
115
116 3.5.<space|2spc>Error reporting <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
117 <no-break><pageref|auto-42>
118
119 3.6.<space|2spc>Estimation of the size of the network
120 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
121 <no-break><pageref|auto-44>
122
123 <vspace*|1fn><with|font-series|bold|math-font-series|bold|font-shape|small-caps|4.<space|2spc>Implementation
124 details> <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
125 <pageref|auto-46><vspace|0.5fn>
126
127 <vspace*|1fn><with|font-series|bold|math-font-series|bold|font-shape|small-caps|Appendix
128 A.<space|2spc>GNU Free Documentation License>
129 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
130 <pageref|auto-47><vspace|0.5fn>
131
132 0. <with|font-shape|small-caps|Preamble>
133 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
134 <no-break><pageref|auto-48>
135
136 1. <with|font-shape|small-caps|Applicability and definitions>
137 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
138 <no-break><pageref|auto-49>
139
140 2. <with|font-shape|small-caps|Verbatim copying>
141 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
142 <no-break><pageref|auto-50>
143
144 3. <with|font-shape|small-caps|Copying in quantity>
145 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
146 <no-break><pageref|auto-51>
147
148 4. <with|font-shape|small-caps|Modifications>
149 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
150 <no-break><pageref|auto-52>
151
152 5. <with|font-shape|small-caps|Combining documents>
153 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
154 <no-break><pageref|auto-53>
155
156 6. <with|font-shape|small-caps|Collections of documents>
157 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
158 <no-break><pageref|auto-54>
159
160 7. <with|font-shape|small-caps|Aggregation with independent works>
161 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
162 <no-break><pageref|auto-55>
163
164 8. <with|font-shape|small-caps|Translation>
165 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
166 <no-break><pageref|auto-56>
167
168 9. <with|font-shape|small-caps|Termination>
169 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
170 <no-break><pageref|auto-57>
171
172 10. <with|font-shape|small-caps|Future revisions of this license>
173 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
174 <no-break><pageref|auto-58>
175
176 11. <with|font-shape|small-caps|Relicensing>
177 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
178 <no-break><pageref|auto-59>
179
180 <with|font-shape|small-caps|Addendum>: How to use this License for your
181 documents <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
182 <no-break><pageref|auto-60>
183
184 <vspace*|1fn><with|font-series|bold|math-font-series|bold|font-shape|small-caps|Index>
185 <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
186 <pageref|auto-61><vspace|0.5fn>
187 </table-of-contents>
188
20 <chapter|Installation and contributing guide> 189 <chapter|Installation and contributing guide>
21 190
22 <section|Building from source> 191 <section|Building from source>
@@ -90,7 +259,7 @@
90 the following command can be run to verify it is authentic: 259 the following command can be run to verify it is authentic:
91 260
92 <\shell-code> 261 <\shell-code>
93 guix git authenticate 431f336edd51e1f0fe059a6f6f2d4c3e9267b7bc "C1F3 3EE2 262 guix git authenticate 088ea8b27b95143584cbc36202c5a02dfe95796c "C1F3 3EE2
94 0C52 8FDB 7DD7 \ 011F 49E3 EE22 1917 25EE" 263 0C52 8FDB 7DD7 \ 011F 49E3 EE22 1917 25EE"
95 </shell-code> 264 </shell-code>
96 265
@@ -152,8 +321,6 @@
152 public mailing lists, so don't send anything there you wouldn't mind the 321 public mailing lists, so don't send anything there you wouldn't mind the
153 whole world to know. 322 whole world to know.
154 323
155 <todo|TODO: verify C GNUnet people are ok with this?>
156
157 For security-sensitive issues, you can send a mail directly to the 324 For security-sensitive issues, you can send a mail directly to the
158 maintainer, <hlink|Maxime Devos \<less\>maximedevos@telenet.be\<gtr\>|mailto:maximedevos@telenet.be>, 325 maintainer, <hlink|Maxime Devos \<less\>maximedevos@telenet.be\<gtr\>|mailto:maximedevos@telenet.be>,
159 optionally encrypted and signed with a GnuPG-compatible 326 optionally encrypted and signed with a GnuPG-compatible
@@ -897,32 +1064,45 @@
897 <include|fdl.tm> 1064 <include|fdl.tm>
898 1065
899 <\the-index|idx> 1066 <\the-index|idx>
900 <index+1|define-type|<pageref|auto-10>> 1067 <index+1|define-type|<pageref|auto-18>>
1068
1069 <index+1|documentation|<pageref|auto-23>>
1070
1071 <index+1|error reporting|<pageref|auto-43>>
1072
1073 <index+1|make-message-handler|<pageref|auto-37>>
1074
1075 <index+1|message handler|<pageref|auto-35>>
1076
1077 <index+1|message-handler|<pageref|auto-36>>
1078
1079 <index+1|netstruct|<pageref|auto-17>>
901 1080
902 <index+1|documentation|<pageref|auto-15>> 1081 <index+1|network size estimation|<pageref|auto-45>>
903 1082
904 <index+1|netstruct|<pageref|auto-9>> 1083 <index+1|network structure|<pageref|auto-16>>
905 1084
906 <index+1|network structure|<pageref|auto-8>> 1085 <index+1|properties|<pageref|auto-24>>
907 1086
908 <index+1|properties|<pageref|auto-16>> 1087 <index+1|read%|<pageref|auto-26>>
909 1088
910 <index+1|read%|<pageref|auto-18>> 1089 <index+1|select|<pageref|auto-29>>
911 1090
912 <index+1|select|<pageref|auto-21>> 1091 <index+1|set%!|<pageref|auto-27>>
913 1092
914 <index+1|set%!|<pageref|auto-19>> 1093 <index+1|sizeof|<pageref|auto-28>>
915 1094
916 <index+1|sizeof|<pageref|auto-20>> 1095 <index+1|structure/packed|<pageref|auto-19>>
917 1096
918 <index+1|structure/packed|<pageref|auto-11>> 1097 <index+1|synopsis|<pageref|auto-22>>
919 1098
920 <index+1|synopsis|<pageref|auto-14>> 1099 <index+1|tests|<pageref|auto-5>>
921 </the-index> 1100 </the-index>
922</body> 1101</body>
923 1102
924<\initial> 1103<\initial>
925 <\collection> 1104 <\collection>
1105 <associate|page-medium|paper>
926 <associate|save-aux|false> 1106 <associate|save-aux|false>
927 </collection> 1107 </collection>
928</initial> \ No newline at end of file 1108</initial> \ No newline at end of file
diff --git a/examples/web.scm b/examples/web.scm
index dde6446..a70f3f4 100644
--- a/examples/web.scm
+++ b/examples/web.scm
@@ -1,4 +1,4 @@
1;; Copyright (C) 2021 Maxime Devos 1;; Copyright (C) 2021 GNUnet e.V.
2;; SPDX-License-Identifier: FSFAP 2;; SPDX-License-Identifier: FSFAP
3;; Copying and distribution of this file, with or without modification, 3;; Copying and distribution of this file, with or without modification,
4;; are permitted in any medium without royalty provided the copyright 4;; are permitted in any medium without royalty provided the copyright
diff --git a/gnu/extractor/enum.scm b/gnu/extractor/enum.scm
index e6d69e8..e2f1f93 100644
--- a/gnu/extractor/enum.scm
+++ b/gnu/extractor/enum.scm
@@ -1,7 +1,7 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet
2;; scheme-GNUnet contains scheme-extractor. 2;; scheme-GNUnet contains scheme-extractor.
3;; scheme-extractor is a partial Scheme port of libextractor. 3;; scheme-extractor is a partial Scheme port of libextractor.
4;; Copyright (C) 2020, 2021 Maxime Devos 4;; Copyright (C) 2020, 2021 GNUnet e.V.
5;; 5;;
6;; libextractor is free software; you can redistribute it and/or modify 6;; libextractor is free software; you can redistribute it and/or modify
7;; it under the terms of the GNU General Public License as published 7;; it under the terms of the GNU General Public License as published
diff --git a/gnu/extractor/metaformats.scm b/gnu/extractor/metaformats.scm
index 949b4e8..1fa3d84 100644
--- a/gnu/extractor/metaformats.scm
+++ b/gnu/extractor/metaformats.scm
@@ -2,7 +2,7 @@
2;; scheme-extractor is a partial Scheme port of libextractor. 2;; scheme-extractor is a partial Scheme port of libextractor.
3;; A previous iteration of this file is part of libextractor. 3;; A previous iteration of this file is part of libextractor.
4;; Copyright (C) 2002-2017 Vidyut Samanta and Christian Grothoff 4;; Copyright (C) 2002-2017 Vidyut Samanta and Christian Grothoff
5;; Copyright (C) 2020 Maxime Devos 5;; Copyright (C) 2020 GNUnet e.V.
6;; 6;;
7;; libextractor is free software; you can redistribute it and/or modify 7;; libextractor is free software; you can redistribute it and/or modify
8;; it under the terms of the GNU General Public License as published 8;; it under the terms of the GNU General Public License as published
diff --git a/gnu/extractor/metatypes.scm b/gnu/extractor/metatypes.scm
index 9f7b9c7..8c700e9 100644
--- a/gnu/extractor/metatypes.scm
+++ b/gnu/extractor/metatypes.scm
@@ -3,7 +3,7 @@
3;; scheme-extractor is a partial Scheme port of libextractor. 3;; scheme-extractor is a partial Scheme port of libextractor.
4;; A previous iteration of this file is part of libextractor. 4;; A previous iteration of this file is part of libextractor.
5;; Copyright (C) 2002-2017 Vidyut Samanta and Christian Grothoff 5;; Copyright (C) 2002-2017 Vidyut Samanta and Christian Grothoff
6;; Copyright (C) 2020 Maxime Devos 6;; Copyright (C) 2020 GNUnet e.V.
7;; 7;;
8;; libextractor is free software; you can redistribute it and/or modify 8;; libextractor is free software; you can redistribute it and/or modify
9;; it under the terms of the GNU General Public License as published 9;; it under the terms of the GNU General Public License as published
diff --git a/gnu/gnunet/concurrency/repeated-condition.scm b/gnu/gnunet/concurrency/repeated-condition.scm
index 70b14b2..34bf62c 100644
--- a/gnu/gnunet/concurrency/repeated-condition.scm
+++ b/gnu/gnunet/concurrency/repeated-condition.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/concurrency/update.scm b/gnu/gnunet/concurrency/update.scm
index 6a487cf..0d562fd 100644
--- a/gnu/gnunet/concurrency/update.scm
+++ b/gnu/gnunet/concurrency/update.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/config/db.scm b/gnu/gnunet/config/db.scm
index 252b594..2806d1d 100644
--- a/gnu/gnunet/config/db.scm
+++ b/gnu/gnunet/config/db.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/config/default.conf b/gnu/gnunet/config/default.conf
index 35e5d31..9351a17 100644
--- a/gnu/gnunet/config/default.conf
+++ b/gnu/gnunet/config/default.conf
@@ -1,5 +1,5 @@
1# -*- coding: utf-8 -*- 1# -*- coding: utf-8 -*-
2# Copyright (C) 2020, 2021 Maxime Devos 2# Copyright (C) 2020, 2021 GNUnet e.V.
3# SPDX-License-Identifier: FSFAP 3# SPDX-License-Identifier: FSFAP
4# Copying and distribution of this file, with or without modification, 4# Copying and distribution of this file, with or without modification,
5# are permitted in any medium without royalty provided the copyright 5# are permitted in any medium without royalty provided the copyright
diff --git a/gnu/gnunet/config/expand.scm b/gnu/gnunet/config/expand.scm
index 6d032d4..338df3b 100644
--- a/gnu/gnunet/config/expand.scm
+++ b/gnu/gnunet/config/expand.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2006, 2007, 2008, 2009, 2013, 2020, 2021 GNUnet e.V.
3;; Copyright (C) 2006, 2007, 2008, 2009, 2013, 2020 GNUnet e.V.
4;; 3;;
5;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/config/fs.scm b/gnu/gnunet/config/fs.scm
index 1a073ab..bce8296 100644
--- a/gnu/gnunet/config/fs.scm
+++ b/gnu/gnunet/config/fs.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/config/parser.scm b/gnu/gnunet/config/parser.scm
index 022449e..3ac11c9 100644
--- a/gnu/gnunet/config/parser.scm
+++ b/gnu/gnunet/config/parser.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2006, 2007, 2008, 2009, 2013, 2020, 2021 GNUnet e.V.
3;; Copyright (C) 2006, 2007, 2008, 2009, 2013, 2020 GNUnet e.V.
4;; 3;;
5;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/config/value-parser.scm b/gnu/gnunet/config/value-parser.scm
index b29dba0..8b5e574 100644
--- a/gnu/gnunet/config/value-parser.scm
+++ b/gnu/gnunet/config/value-parser.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2005-2021 GNUnet e.V.
3;; Copyright (C) 2005-2020 GNUnet e.V.
4;; 3;;
5;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/crypto/struct.scm b/gnu/gnunet/crypto/struct.scm
index 7e728c8..cf4a87f 100644
--- a/gnu/gnunet/crypto/struct.scm
+++ b/gnu/gnunet/crypto/struct.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet
2;; Copyright (C) 2001-2013 GNUnet e.V. 2;; Copyright (C) 2001-2013, 2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/data-string.scm b/gnu/gnunet/data-string.scm
index 5d6ae0e..a9fae71 100644
--- a/gnu/gnunet/data-string.scm
+++ b/gnu/gnunet/data-string.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2005--207 GNUnet e.V. 2;; Copyright (C) 2005--2007, 2020 GNUnet e.V.
3;; Copyright (C) 2020 Maxime Devos <maxime.devos@student.kuleuven.be>
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/directory.scm b/gnu/gnunet/directory.scm
index fbb79c2..f0c75d7 100644
--- a/gnu/gnunet/directory.scm
+++ b/gnu/gnunet/directory.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2003, 2004, 2006, 2009 GNUnet e.V. 2;; Copyright (C) 2003, 2004, 2006, 2009, 2020 GNUnet e.V.
3;; Copyright (C) 2020 Maxime Devos <maxime.devos@student.kuleuven.be>
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/fs-uri.scm b/gnu/gnunet/fs-uri.scm
index 3105614..dd610bf 100644
--- a/gnu/gnunet/fs-uri.scm
+++ b/gnu/gnunet/fs-uri.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2003--2014 GNUnet e.V. 2;; Copyright (C) 2003--2014, 2020 GNUnet e.V.
3;; Copyright (C) 2020 Maxime Devos <maxime.devos@student.kuleuven.be>
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/hashcode-ascii.scm b/gnu/gnunet/hashcode-ascii.scm
index 6345816..ca5c125 100644
--- a/gnu/gnunet/hashcode-ascii.scm
+++ b/gnu/gnunet/hashcode-ascii.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2001--2013 GNUnet e.V. 2;; Copyright (C) 2001--2013, 2020 GNUnet e.V.
3;; Copyright (C) 2020 Maxime Devos <maxime.devos@student.kuleuven.be>
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/hashcode.scm b/gnu/gnunet/hashcode.scm
index de68267..0689804 100644
--- a/gnu/gnunet/hashcode.scm
+++ b/gnu/gnunet/hashcode.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2006--2020 GNUnet e.V. 2;; Copyright (C) 2006--2020 GNUnet e.V.
3;; Copyright (C) 2020 Maxime Devos <maxime.devos@student.kuleuven.be>
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/hashcode/struct.scm b/gnu/gnunet/hashcode/struct.scm
index 7990e2d..549648d 100644
--- a/gnu/gnunet/hashcode/struct.scm
+++ b/gnu/gnunet/hashcode/struct.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2006--2020 GNUnet e.V. 2;; Copyright (C) 2006--2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos <maxime.devos@student.kuleuven.be>
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/icmp/struct.scm b/gnu/gnunet/icmp/struct.scm
index 2a206d3..385a8d4 100644
--- a/gnu/gnunet/icmp/struct.scm
+++ b/gnu/gnunet/icmp/struct.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/message/protocols.scm b/gnu/gnunet/message/protocols.scm
index c0c7e2f..76cd85c 100644
--- a/gnu/gnunet/message/protocols.scm
+++ b/gnu/gnunet/message/protocols.scm
@@ -1,7 +1,6 @@
1;; -*- scheme -*- Constants for network protocols 1;; -*- scheme -*- Constants for network protocols
2;; This file is part of scheme-GNUnet. 2;; This file is part of scheme-GNUnet.
3;; Copyright (C) 2001--2020 GNUnet e.V. 3;; Copyright (C) 2001--2021 GNUnet e.V.
4;; Copyright (C) 2021 Maxime Devos
5;; 4;;
6;; scheme-GNUnet is free software: you can redistribute it and/or modify it 5;; scheme-GNUnet is free software: you can redistribute it and/or modify it
7;; under the terms of the GNU General Public License as published by the 6;; under the terms of the GNU General Public License as published by the
diff --git a/gnu/gnunet/message/protocols.scmgen b/gnu/gnunet/message/protocols.scmgen
index 192f8bc..f89401b 100644
--- a/gnu/gnunet/message/protocols.scmgen
+++ b/gnu/gnunet/message/protocols.scmgen
@@ -1,7 +1,6 @@
1;; -*- scheme -*- Constants for network protocols 1;; -*- scheme -*- Constants for network protocols
2;; This file is part of scheme-GNUnet. 2;; This file is part of scheme-GNUnet.
3;; Copyright (C) 2001--2020 GNUnet e.V. 3;; Copyright (C) 2001--2021 GNUnet e.V.
4;; Copyright (C) 2021 Maxime Devos
5;; 4;;
6;; scheme-GNUnet is free software: you can redistribute it and/or modify it 5;; scheme-GNUnet is free software: you can redistribute it and/or modify it
7;; under the terms of the GNU General Public License as published by the 6;; under the terms of the GNU General Public License as published by the
diff --git a/gnu/gnunet/metadata.scm b/gnu/gnunet/metadata.scm
index b870dcd..fc57c48 100644
--- a/gnu/gnunet/metadata.scm
+++ b/gnu/gnunet/metadata.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2003, 2004, 2005, 2006, 2008, 2009, 2010 GNUnet e.V. 2;; Copyright (C) 2003, 2004, 2005, 2006, 2008, 2009, 2010, 2020 GNUnet e.V.
3;; Copyright (C) 2020 Maxime Devos <maxime.devos@student.kuleuven.be>
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/metadata/struct.scm b/gnu/gnunet/metadata/struct.scm
index 1b54c6a..28e1f32 100644
--- a/gnu/gnunet/metadata/struct.scm
+++ b/gnu/gnunet/metadata/struct.scm
@@ -1,7 +1,6 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Adapted from an iteration of (gnu gnunet metadata) 2;; Adapted from an iteration of (gnu gnunet metadata)
3;; Copyright (C) 2003, 2004, 2005, 2006, 2008, 2009, 2010 GNUnet e.V. 3;; Copyright (C) 2003, 2004, 2005, 2006, 2008, 2009, 2010, 2020 GNUnet e.V.
4;; Copyright (C) 2020 Maxime Devos <maxime.devos@student.kuleuven.be>
5;; 4;;
6;; GNUnet is free software: you can redistribute it and/or modify it 5;; GNUnet is free software: you can redistribute it and/or modify it
7;; under the terms of the GNU Affero General Public License as published 6;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/mq-impl/stream.scm b/gnu/gnunet/mq-impl/stream.scm
index 92715da..ae79ae1 100644
--- a/gnu/gnunet/mq-impl/stream.scm
+++ b/gnu/gnunet/mq-impl/stream.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
@@ -171,8 +171,7 @@ returns. This is detected with the @code{EPIPE} error, so don't block
171@code{SIGPIPE} signals. 171@code{SIGPIPE} signals.
172 172
173TODO: detect it has been closed even when not actually writing, 173TODO: detect it has been closed even when not actually writing,
174with EPOLLERR -- needs fibers support. 174with EPOLLERR -- needs fibers support."
175TODO: closing, destroying @var{mq}, @var{output}."
176 (define (one-by-one-proc ev) 175 (define (one-by-one-proc ev)
177 (write-envelope! output ev)) 176 (write-envelope! output ev))
178 (define send-round 177 (define send-round
diff --git a/gnu/gnunet/mq.scm b/gnu/gnunet/mq.scm
index 5cecae8..a980c56 100644
--- a/gnu/gnunet/mq.scm
+++ b/gnu/gnunet/mq.scm
@@ -1,6 +1,5 @@
1;; This file is part of GNUnet. 1;; This file is part of GNUnet.
2;; Copyright (C) 2012-2019 GNUnet e.V. 2;; Copyright (C) 2012-2019, 2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos (<maximedevos@telenet.be>)
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/mq/envelope.scm b/gnu/gnunet/mq/envelope.scm
index 4826722..ef99748 100644
--- a/gnu/gnunet/mq/envelope.scm
+++ b/gnu/gnunet/mq/envelope.scm
@@ -1,6 +1,5 @@
1;; This file is part of GNUnet. 1;; This file is part of GNUnet.
2;; Copyright (C) 2012-2019 GNUnet e.V. 2;; Copyright (C) 2012-2019, 2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos (<maximedevos@telenet.be>)
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/mq/error-reporting.scm b/gnu/gnunet/mq/error-reporting.scm
index 41f4f73..38af1ca 100644
--- a/gnu/gnunet/mq/error-reporting.scm
+++ b/gnu/gnunet/mq/error-reporting.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/mq/handler.scm b/gnu/gnunet/mq/handler.scm
index 0192c0c..fcb10e2 100644
--- a/gnu/gnunet/mq/handler.scm
+++ b/gnu/gnunet/mq/handler.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/mq/prio-prefs.scm b/gnu/gnunet/mq/prio-prefs.scm
index 8d1f743..16d6d01 100644
--- a/gnu/gnunet/mq/prio-prefs.scm
+++ b/gnu/gnunet/mq/prio-prefs.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2012-2016 GNUnet e.V. 2;; Copyright (C) 2012-2016, 2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos
4;; 3;;
5;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/mq/prio-prefs2.scm b/gnu/gnunet/mq/prio-prefs2.scm
index 2bc7292..971b0b1 100644
--- a/gnu/gnunet/mq/prio-prefs2.scm
+++ b/gnu/gnunet/mq/prio-prefs2.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2012-2016 GNUnet e.V. 2;; Copyright (C) 2012-2016, 2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos
4;; 3;;
5;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/netstruct/procedural.scm b/gnu/gnunet/netstruct/procedural.scm
index 53b8d95..8850322 100644
--- a/gnu/gnunet/netstruct/procedural.scm
+++ b/gnu/gnunet/netstruct/procedural.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2020, 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2020, 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/netstruct/syntactic.scm b/gnu/gnunet/netstruct/syntactic.scm
index 57366ac..dde6664 100644
--- a/gnu/gnunet/netstruct/syntactic.scm
+++ b/gnu/gnunet/netstruct/syntactic.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2020, 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2020, 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/nse/client.scm b/gnu/gnunet/nse/client.scm
index 21af1bb..7b0c6dd 100644
--- a/gnu/gnunet/nse/client.scm
+++ b/gnu/gnunet/nse/client.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/nse/struct.scm b/gnu/gnunet/nse/struct.scm
index 4243e07..3434112 100644
--- a/gnu/gnunet/nse/struct.scm
+++ b/gnu/gnunet/nse/struct.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet 1;; This file is part of scheme-GNUnet
2;; Copyright (C) 2001-2011 GNUnet e.V. 2;; Copyright (C) 2001-2011, 2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/scripts/download-store.scm b/gnu/gnunet/scripts/download-store.scm
index 322062a..9a2ce1f 100644
--- a/gnu/gnunet/scripts/download-store.scm
+++ b/gnu/gnunet/scripts/download-store.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/scripts/guix-stuff.scm b/gnu/gnunet/scripts/guix-stuff.scm
index ca129bb..4b9e486 100644
--- a/gnu/gnunet/scripts/guix-stuff.scm
+++ b/gnu/gnunet/scripts/guix-stuff.scm
@@ -1,7 +1,7 @@
1;;; Copyright © 2012, 2013, 2014 Ludovic Courtès <ludo@gnu.org> 1;;; Copyright © 2012, 2013, 2014 Ludovic Courtès <ludo@gnu.org>
2;;; Copyright © 2013 Mark H Weaver <mhw@netris.org> 2;;; Copyright © 2013 Mark H Weaver <mhw@netris.org>
3;;; Copyright © 2014 Eric Bavier <bavier@member.fsf.org> 3;;; Copyright © 2014 Eric Bavier <bavier@member.fsf.org>
4;;; Copyright © 2021 Maxime Devos <maximedevos@telenet.be> 4;;; Copyright © 2021 GNUnet e.V.
5;;; 5;;;
6;;; This file is part of GNU Guix. 6;;; This file is part of GNU Guix.
7;;; 7;;;
diff --git a/gnu/gnunet/scripts/publish-store.scm b/gnu/gnunet/scripts/publish-store.scm
index a41a6c4..49eea3e 100644
--- a/gnu/gnunet/scripts/publish-store.scm
+++ b/gnu/gnunet/scripts/publish-store.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/util/cmsg.scm b/gnu/gnunet/util/cmsg.scm
index 0b7014b..8379220 100644
--- a/gnu/gnunet/util/cmsg.scm
+++ b/gnu/gnunet/util/cmsg.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/util/struct.scm b/gnu/gnunet/util/struct.scm
index bdc62a5..f4c3cbb 100644
--- a/gnu/gnunet/util/struct.scm
+++ b/gnu/gnunet/util/struct.scm
@@ -1,6 +1,5 @@
1;; This file is part of GNUnet. 1;; This file is part of GNUnet.
2;; Copyright (C) 2006-2020 GNUnet e.V. 2;; Copyright (C) 2006-2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/utils/bv-slice.scm b/gnu/gnunet/utils/bv-slice.scm
index 1e37ba1..6637852 100644
--- a/gnu/gnunet/utils/bv-slice.scm
+++ b/gnu/gnunet/utils/bv-slice.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2020, 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2020, 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/utils/decompress.scm b/gnu/gnunet/utils/decompress.scm
index 03a4a43..898f123 100644
--- a/gnu/gnunet/utils/decompress.scm
+++ b/gnu/gnunet/utils/decompress.scm
@@ -1,7 +1,7 @@
1;;; Zlib bindings, adapted from Guile-zlib 1;;; Zlib bindings, adapted from Guile-zlib
2;;; Copyright © 2016, 2017 Ludovic Courtès <ludo@gnu.org> 2;;; Copyright © 2016, 2017 Ludovic Courtès <ludo@gnu.org>
3;;; Copyright © 2020 Mathieu Othacehe <othacehe@gnu.org> 3;;; Copyright © 2020 Mathieu Othacehe <othacehe@gnu.org>
4;;; Copyright © 2020 Maxime Devos <maxime.devos@student.kuleuven.be> 4;;; Copyright © 2020 GNUnet e.V.
5;;; 5;;;
6;;; This file is part of Guile-zlib. 6;;; This file is part of Guile-zlib.
7;;; 7;;;
diff --git a/gnu/gnunet/utils/hat-let.scm b/gnu/gnunet/utils/hat-let.scm
index a2304ce..825c606 100644
--- a/gnu/gnunet/utils/hat-let.scm
+++ b/gnu/gnunet/utils/hat-let.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2020, 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2020, 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/utils/netstruct.scm b/gnu/gnunet/utils/netstruct.scm
index 35f317d..639d018 100644
--- a/gnu/gnunet/utils/netstruct.scm
+++ b/gnu/gnunet/utils/netstruct.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2020, 2021 Maxime Devos <maxime.devos@student.kuleuven.be> 2;; Copyright (C) 2020, 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/utils/platform-enum.scm b/gnu/gnunet/utils/platform-enum.scm
index f3207ca..093aebb 100644
--- a/gnu/gnunet/utils/platform-enum.scm
+++ b/gnu/gnunet/utils/platform-enum.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/gnu/gnunet/utils/tokeniser.scm b/gnu/gnunet/utils/tokeniser.scm
index 64ac723..079de0a 100644
--- a/gnu/gnunet/utils/tokeniser.scm
+++ b/gnu/gnunet/utils/tokeniser.scm
@@ -1,6 +1,5 @@
1;; This file is part of scheme-GNUnet, a Scheme port of GNUnet . 1;; This file is part of scheme-GNUnet, a Scheme port of GNUnet .
2;; Copyright (C) 2010, 2016, 2017 GNUnet e.V. 2;; Copyright (C) 2010, 2016, 2017, 2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be>
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
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)
diff --git a/tests/bv-slice.scm b/tests/bv-slice.scm
index 3e63f0f..e8f5bb7 100644
--- a/tests/bv-slice.scm
+++ b/tests/bv-slice.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/cmsg.scm b/tests/cmsg.scm
index abddcad..a8e60df 100644
--- a/tests/cmsg.scm
+++ b/tests/cmsg.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/config-db.scm b/tests/config-db.scm
index 30f1507..fc171f8 100644
--- a/tests/config-db.scm
+++ b/tests/config-db.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/config-expand.scm b/tests/config-expand.scm
index 8badbf5..3b0c0ec 100644
--- a/tests/config-expand.scm
+++ b/tests/config-expand.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/config-fs.scm b/tests/config-fs.scm
index b194a6b..a4b2217 100644
--- a/tests/config-fs.scm
+++ b/tests/config-fs.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/config-parser.scm b/tests/config-parser.scm
index 0e0b817..c98cbf4 100644
--- a/tests/config-parser.scm
+++ b/tests/config-parser.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/config-value-parser.scm b/tests/config-value-parser.scm
index cc5113e..77a2885 100644
--- a/tests/config-value-parser.scm
+++ b/tests/config-value-parser.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/envelope.scm b/tests/envelope.scm
index c49c691..5cb3990 100644
--- a/tests/envelope.scm
+++ b/tests/envelope.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/error-reporting.scm b/tests/error-reporting.scm
index dfd72c3..1b92ca9 100644
--- a/tests/error-reporting.scm
+++ b/tests/error-reporting.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/message-handler.scm b/tests/message-handler.scm
index bd0eadd..863c115 100644
--- a/tests/message-handler.scm
+++ b/tests/message-handler.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/mq-stream.scm b/tests/mq-stream.scm
index 4a3793d..245512f 100644
--- a/tests/mq-stream.scm
+++ b/tests/mq-stream.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/mq.scm b/tests/mq.scm
index c4763c9..fae0a4f 100644
--- a/tests/mq.scm
+++ b/tests/mq.scm
@@ -1,6 +1,5 @@
1;; This file is part of GNUnet. 1;; This file is part of GNUnet.
2;; Copyright (C) 2012, 2018 GNUnet e.V. 2;; Copyright (C) 2012, 2018, 2021 GNUnet e.V.
3;; Copyright (C) 2021 Maxime Devos
4;; 3;;
5;; GNUnet is free software: you can redistribute it and/or modify it 4;; GNUnet is free software: you can redistribute it and/or modify it
6;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/netstruct.scm b/tests/netstruct.scm
index 3a28edd..00b5bce 100644
--- a/tests/netstruct.scm
+++ b/tests/netstruct.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/network-size.scm b/tests/network-size.scm
index 9828d15..7ad56d1 100644
--- a/tests/network-size.scm
+++ b/tests/network-size.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/repeated-condition.scm b/tests/repeated-condition.scm
index 9ec322f..52ac0b1 100644
--- a/tests/repeated-condition.scm
+++ b/tests/repeated-condition.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/time.scm b/tests/time.scm
index 9edceeb..133f9c9 100644
--- a/tests/time.scm
+++ b/tests/time.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/tokeniser.scm b/tests/tokeniser.scm
index a18a85d..51d677b 100644
--- a/tests/tokeniser.scm
+++ b/tests/tokeniser.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet. 1;; This file is part of scheme-GNUnet, a partial Scheme port of GNUnet.
2;; Copyright (C) 2021 Maxime Devos <maximedevos@telenet.be> 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/update.scm b/tests/update.scm
index a9b7928..6a498ad 100644
--- a/tests/update.scm
+++ b/tests/update.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
diff --git a/tests/utils.scm b/tests/utils.scm
index 220fb96..36a4306 100644
--- a/tests/utils.scm
+++ b/tests/utils.scm
@@ -1,5 +1,5 @@
1;; This file is part of scheme-GNUnet. 1;; This file is part of scheme-GNUnet.
2;; Copyright (C) 2021 Maxime Devos 2;; Copyright (C) 2021 GNUnet e.V.
3;; 3;;
4;; scheme-GNUnet is free software: you can redistribute it and/or modify it 4;; scheme-GNUnet is free software: you can redistribute it and/or modify it
5;; under the terms of the GNU Affero General Public License as published 5;; under the terms of the GNU Affero General Public License as published
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 01:48:36 +0000