summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-12-31 20:15:10 +0100
committerChristian Grothoff <christian@grothoff.org>2020-12-31 20:15:10 +0100
commitcb2a8e96ce4467da6ff21f607922ceb2618a9823 (patch)
tree163b56700ee383fdd2a2c12d2653f026d8e88202
parentdf1fecf0954b831e59b906f0aad3b9e3c9d8f494 (diff)
downloaddocs-cb2a8e96ce4467da6ff21f607922ceb2618a9823.tar.gz
docs-cb2a8e96ce4467da6ff21f607922ceb2618a9823.tar.bz2
docs-cb2a8e96ce4467da6ff21f607922ceb2618a9823.zip
explain how to create Debian packages in dev guide
-rw-r--r--developers-manual.rst27
1 files changed, 27 insertions, 0 deletions
diff --git a/developers-manual.rst b/developers-manual.rst
index 22e933e9..df12bd47 100644
--- a/developers-manual.rst
+++ b/developers-manual.rst
@@ -613,6 +613,33 @@ Directive file:
Upload the files in **binary mode** to the ftp servers.
+Creating Debian packages
+------------------------
+
+Our general setup is based on
+https://wiki.debian.org/DebianRepository/SetupWithReprepro
+
+First, update at least the version of the Debian package in
+debian/changelog, and then run:
+
+$ dpkg-buildpackage -rfakeroot -b -uc -us
+
+in the respective source directory (GNUnet, exchange, merchant) to create the
+".deb" files. Note that they will be created in the parent directory. This
+can be done on gv.taler.net, or on another (secure) machine.
+
+Next, the "*.deb" files should be copied to gv.taler.net, say to
+``/root/incoming``. Then, go to ``/var/www/repos/apt/debian/`` and run
+``reprepro includedeb sid /root/incoming/*.deb`` to import all Debian files
+from ``/root/incoming/`` into the ``sid`` distribution. If Debian packages
+were build against other distributions, reprepro may need to be first
+configured for those and the import command updated accordingly.
+
+Finally, make sure to clean up ``/root/incoming/`` (by deleting the
+now imported "*.deb" files).
+
+
+
Continuous integration
======================