Reynir Björnsson
ac8c31f2ac
We now package opam-graph and modulectomy separately. Reviewed-on: https://git.robur.io/robur/builder-web/pulls/135 Co-authored-by: Reynir Björnsson <reynir@reynir.dk> Co-committed-by: Reynir Björnsson <reynir@reynir.dk>
74 lines
1.8 KiB
Text
74 lines
1.8 KiB
Text
name: builder-web
|
|
version: %%VERSION_NUM%%
|
|
origin: local/builder-web
|
|
comment: Builder web service
|
|
www: https://git.robur.io/robur/builder-web
|
|
maintainer: Robur <team@robur.coop>
|
|
prefix: /usr/local
|
|
licenselogic: single
|
|
licenses: [ISCL]
|
|
flatsize: %%FLATSIZE%%
|
|
categories: [local]
|
|
deps {
|
|
gmp {
|
|
origin = "math/gmp";
|
|
},
|
|
libev {
|
|
origin = "devel/libev";
|
|
},
|
|
sqlite3 {
|
|
origin = "databases/sqlite3";
|
|
},
|
|
opam-graph {
|
|
origin = "local/opam-graph";
|
|
},
|
|
modulectomy {
|
|
origin = "local/modulectomy";
|
|
}
|
|
}
|
|
scripts : {
|
|
pre-install = <<EOD
|
|
if [ -n "${PKG_ROOTDIR}" ] && [ "${PKG_ROOTDIR}" != "/" ]; then
|
|
PW="/usr/sbin/pw -R ${PKG_ROOTDIR}"
|
|
else
|
|
PW=/usr/sbin/pw
|
|
fi
|
|
echo "===> Creating groups."
|
|
if ! ${PW} groupshow builder >/dev/null 2>&1; then
|
|
echo "Creating group 'builder' with gid '497'."
|
|
${PW} groupadd builder -g 497
|
|
else
|
|
echo "Using existing group 'builder'."
|
|
fi
|
|
echo "===> Creating users"
|
|
if ! ${PW} usershow builder >/dev/null 2>&1; then
|
|
echo "Creating user 'builder' with uid '497'."
|
|
${PW} useradd builder -u 497 -g 497 -c "builder daemon" -d /nonexistent -s /usr/sbin/nologin
|
|
else
|
|
echo "Using existing user 'builder'."
|
|
fi
|
|
EOD;
|
|
post-install = <<EOD
|
|
mkdir -p -m 700 /var/db/builder-web
|
|
chown builder:builder /var/db/builder-web
|
|
|
|
EOD;
|
|
post-deinstall = <<EOD
|
|
if [ -n "${PKG_ROOTDIR}" ] && [ "${PKG_ROOTDIR}" != "/" ]; then
|
|
PW="/usr/sbin/pw -R ${PKG_ROOTDIR}"
|
|
else
|
|
PW=/usr/sbin/pw
|
|
fi
|
|
if ${PW} usershow builder >/dev/null 2>&1; then
|
|
echo "==> You should manually remove the \"builder\" user. "
|
|
fi
|
|
if ${PW} groupshow builder >/dev/null 2>&1; then
|
|
echo "==> You should manually remove the \"builder\" group "
|
|
fi
|
|
EOD;
|
|
|
|
}
|
|
desc = <<EOD
|
|
A web server serving and accepting reproducible builds
|
|
|
|
EOD;
|