name: builder-web version: %%VERSION_NUM%% origin: local/builder-web comment: Builder web service www: https://git.robur.coop/robur/builder-web maintainer: Robur 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 = < 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 = </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 = <