debian packaging
This commit is contained in:
parent
216669fe99
commit
2ada9881ff
7 changed files with 78 additions and 0 deletions
3
LICENSE.md
Normal file
3
LICENSE.md
Normal file
|
@ -0,0 +1,3 @@
|
||||||
|
Permission to use, copy, modify, and distribute this software for any purpose with or without fee is hereby granted, provided that the above copyright notice and this permission notice appear in all copies.
|
||||||
|
|
||||||
|
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
@ -11,6 +11,7 @@ build: [
|
||||||
["dune" "build" "-p" name "-j" jobs]
|
["dune" "build" "-p" name "-j" jobs]
|
||||||
["dune" "runtest" "-p" name "-j" jobs] {with-test}
|
["dune" "runtest" "-p" name "-j" jobs] {with-test}
|
||||||
["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
|
["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
|
||||||
|
["sh" "packaging/debian/create_package.sh"] {os-family = "debian"}
|
||||||
]
|
]
|
||||||
|
|
||||||
depends: [
|
depends: [
|
||||||
|
|
12
packaging/debian/builder-web.service
Normal file
12
packaging/debian/builder-web.service
Normal file
|
@ -0,0 +1,12 @@
|
||||||
|
[Unit]
|
||||||
|
Description=Builder web daemon
|
||||||
|
After=syslog.target network.target
|
||||||
|
|
||||||
|
[Service]
|
||||||
|
Type=simple
|
||||||
|
User=builder
|
||||||
|
Group=builder
|
||||||
|
ExecStart=/usr/bin/builder-web --data-dir /var/lib/builder/
|
||||||
|
|
||||||
|
[Install]
|
||||||
|
WantedBy=multi-user.target
|
5
packaging/debian/changelog
Normal file
5
packaging/debian/changelog
Normal file
|
@ -0,0 +1,5 @@
|
||||||
|
builder-web (%%VERSION_NUM%%) unstable; urgency=medium
|
||||||
|
|
||||||
|
* Initial release
|
||||||
|
|
||||||
|
-- Robur team <team@robur.coop>
|
13
packaging/debian/control
Normal file
13
packaging/debian/control
Normal file
|
@ -0,0 +1,13 @@
|
||||||
|
Package: builder-web
|
||||||
|
Version: 0.0.1-%%VERSION_NUM%%
|
||||||
|
Section: unknown
|
||||||
|
Priority: optional
|
||||||
|
Maintainer: Robur Team <team@robur.coop>
|
||||||
|
Standards-Version: 4.4.1
|
||||||
|
Homepage: https://git.robur.io/robur/builder-web
|
||||||
|
Vcs-Browser: https://git.robur.io/robur/builder-web
|
||||||
|
Vcs-Git: https://git.robur.io/robur/builder-web.git
|
||||||
|
Architecture: all
|
||||||
|
Depends: libgmp10, libsqlite3, libev4
|
||||||
|
Description: Web service for storing and presenting builds.
|
||||||
|
Builder-web stores builds in a sqlite database and serves them via HTTP.
|
8
packaging/debian/copyright
Normal file
8
packaging/debian/copyright
Normal file
|
@ -0,0 +1,8 @@
|
||||||
|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
|
||||||
|
Upstream-Name: builder-web
|
||||||
|
Upstream-Contact: Robur Team <team@robur.coop>
|
||||||
|
Source: https://git.robur.io/robur/builder-web
|
||||||
|
|
||||||
|
Files: *
|
||||||
|
Copyright: "Reynir Björnsson <reynir@reynir.dk" "Hannes Mehnert <hannes@mehnert.org>"
|
||||||
|
License: ISC
|
36
packaging/debian/create_package.sh
Executable file
36
packaging/debian/create_package.sh
Executable file
|
@ -0,0 +1,36 @@
|
||||||
|
#!/bin/sh -e
|
||||||
|
|
||||||
|
# only execute anything if either
|
||||||
|
# - running under orb with package = builder-web
|
||||||
|
# - not running under opam at all
|
||||||
|
if [ "$ORB_BUILDING_PACKAGE" != "builder-web" -a "$OPAM_PACKAGE_NAME" != "" ]; then
|
||||||
|
exit 0;
|
||||||
|
fi
|
||||||
|
|
||||||
|
basedir=$(realpath "$(dirname "$0")"/../..)
|
||||||
|
bdir=$basedir/_build/install/default/bin
|
||||||
|
tmpd=$basedir/_build/stage
|
||||||
|
rootdir=$tmpd/rootdir
|
||||||
|
bindir=$rootdir/usr/bin
|
||||||
|
systemddir=$rootdir/usr/lib/systemd/system
|
||||||
|
debiandir=$rootdir/DEBIAN
|
||||||
|
|
||||||
|
trap 'rm -rf $tmpd' 0 INT EXIT
|
||||||
|
|
||||||
|
mkdir -p "$bindir" "$debiandir" "$systemddir"
|
||||||
|
|
||||||
|
# stage app binaries
|
||||||
|
install $bdir/builder-web $bindir/builder-web
|
||||||
|
install $bdir/builder-migrations $bindir/builder-migrations
|
||||||
|
install $bdir/builder-db $bindir/builder-db
|
||||||
|
|
||||||
|
# service script
|
||||||
|
install $basedir/packaging/debian/builder-web.service $systemddir/builder-web.service
|
||||||
|
|
||||||
|
# install debian metadata
|
||||||
|
install $basedir/packaging/debian/control $debiandir/control
|
||||||
|
install $basedir/packaging/debian/changelog $debiandir/changelog
|
||||||
|
install $basedir/packaging/debian/copyright $debiandir/copyright
|
||||||
|
|
||||||
|
dpkg-deb --build $rootdir $basedir/builder-web.deb
|
||||||
|
echo 'bin: [ "builder-web.deb" ]' > $basedir/builder-web.install
|
Loading…
Reference in a new issue