]> git.pld-linux.org Git - projects/cleanbuild.git/blob - docker-builder.sh
addbr can tell it added nothing (already present, etc)
[projects/cleanbuild.git] / docker-builder.sh
1 #!/bin/sh
2 set -e
3
4 package=$1
5
6 test -n "$package" || exit 1
7
8 dir=$(pwd)
9 image=pld/cleanbuild
10 name=cleanbuild-$package
11 topdir=$dir/rpm
12 home=/home/services/builder
13 buildsize="4G"
14
15 # cleanup first
16 docker kill $name >/dev/null 2>&1 || :
17 docker rm $name >/dev/null 2>&1 || :
18
19 install -d $topdir/logs
20
21 # start the container
22 docker run --name=$name -d \
23         -v $topdir:$home/rpm \
24         -v $dir:$home/cleanbuild \
25         -v $dir/cache/poldek:/var/cache/poldek \
26         -v $dir/cache/ccache/$package:/home/services/builder/.ccache \
27         --tmpfs $home/rpm/BUILD:rw,exec,nosuid,size=$buildsize \
28         $image
29
30 # these paths need to be accessible for builder
31 docker exec --user root $name chown builder:builder rpm/logs rpm/BUILD .ccache
32
33 # fetch sources
34 docker exec $name builder -g $package
35
36 git_tag=$(GIT_DIR=$topdir/packages/$package/.git git describe --tags --always)
37 buildlog=rpm/logs/${git_tag#auto/*/}.log
38
39 # remove .la dependencies
40 docker exec $name cleanbuild/cleanup-la
41
42 while true; do
43         docker exec $name cleanbuild/teeboth $buildlog builder -nn -bb -R $package --define 'clean exit 0' && rc=$? || rc=$?
44
45         findbr=$package.findbr.log
46         builddir=$(docker exec $name sh -c 'test -d rpm/BUILD/* && echo rpm/BUILD/*')
47         # need root to run poldek
48         docker exec --user=root $name cleanbuild/findbr $builddir $buildlog > $findbr
49
50         installed_something=false
51         while read pkg msg; do
52                 ./addbr rpm/packages/$package/$package.spec "$pkg" "$msg" || continue
53                 installed_something=true
54         done < $findbr
55         rm -f $findbr
56
57         # go for another try
58         $installed_something && continue
59
60         if [ $rc -eq 0 ]; then
61                 # finished ok, cleanup
62                 docker kill $name && docker rm $name || :
63         fi
64
65         # propagate error
66         exit $rc
67 done
This page took 0.041798 seconds and 3 git commands to generate.