diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-09-13 12:17:57 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-09-13 12:18:02 +0200 |
| commit | c4b04b1d1f7af458b63548cf4566fb58bd45b9ce (patch) | |
| tree | 66930cc044ddca92744d99dec89442773942cee0 /packaging/ubuntu-jammy-docker/gnunet-build.sh | |
| parent | df45d99f956eb3e68b87cba72c7e9634f67b95dd (diff) | |
| download | deployment-c4b04b1d1f7af458b63548cf4566fb58bd45b9ce.tar.gz deployment-c4b04b1d1f7af458b63548cf4566fb58bd45b9ce.tar.bz2 deployment-c4b04b1d1f7af458b63548cf4566fb58bd45b9ce.zip | |
add jammy
Diffstat (limited to 'packaging/ubuntu-jammy-docker/gnunet-build.sh')
| -rw-r--r-- | packaging/ubuntu-jammy-docker/gnunet-build.sh | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/packaging/ubuntu-jammy-docker/gnunet-build.sh b/packaging/ubuntu-jammy-docker/gnunet-build.sh new file mode 100644 index 0000000..896bdcf --- /dev/null +++ b/packaging/ubuntu-jammy-docker/gnunet-build.sh @@ -0,0 +1,29 @@ +#!/bin/sh +# This file is in the public domain. +# Helper script to build the latest DEB packages in the container. + +set -eu +unset LD_LIBRARY_PATH + +mkdir -p /build/gnunet +cd /build/gnunet + +# Fetch source +rm -rf * + +pip3 install sphinx-book-theme + +for n in gnunet +do + git clone git://git.gnunet.org/$n + cd $n + git checkout $1 + ./bootstrap + dpkg-buildpackage -rfakeroot -b -uc -us + cd .. + dpkg -i *.deb +done + +tar cvf ../packages.tgz *.deb + +cd .. |