mirror of
https://gitlab.com/fdroid/fdroidserver.git
synced 2024-10-03 17:50:11 +02:00
Merge branch 'makebuildserver-caching-fixes' into 'master'
./makebuildserver CI fixes These are fixes for caching and flexible config related to the work of getting `./makebuildserver` running on Debian's and Guardian Project's Jenkins boxes. @mvdan and I have been working with h01lger to get that going, here's the latest build log: https://jenkins.debian.net/view/reproducible/job/reproducible_setup_fdroid_build_environment_profitbricks3/lastBuild/console See merge request !91
This commit is contained in:
commit
88d369e293
@ -7,7 +7,7 @@ execute 'set_debian_mirror' do
|
||||
end
|
||||
|
||||
execute "jessie_backports" do
|
||||
command "echo 'deb http://http.debian.net/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list"
|
||||
command "echo 'deb #{debian_mirror} jessie-backports main' > /etc/apt/sources.list.d/backports.list"
|
||||
only_if "grep jessie /etc/apt/sources.list"
|
||||
end
|
||||
|
||||
|
@ -41,16 +41,19 @@ parser.add_option("-v", "--verbose", action="store_true", default=False,
|
||||
help="Spew out even more information than normal")
|
||||
parser.add_option("-c", "--clean", action="store_true", default=False,
|
||||
help="Build from scratch, rather than attempting to update the existing server")
|
||||
parser.add_option("--debian-mirror", default="http://http.debian.net/debian/",
|
||||
help="Use the specified Debian mirror in the box's /etc/apt/sources.list.")
|
||||
options, args = parser.parse_args()
|
||||
|
||||
# set up default config
|
||||
cachedir = os.path.join(os.getenv('HOME'), '.cache', 'fdroidserver')
|
||||
config = {
|
||||
'arch64': False,
|
||||
'basebox': 'jessie32',
|
||||
'baseboxurl': 'https://f-droid.org/jessie32.box',
|
||||
'cachedir': os.path.join(os.getenv('HOME'), '.cache', 'fdroidserver'),
|
||||
# TODO in py3, convert this to pathlib.Path(absolute_path_string).as_uri()
|
||||
'baseboxurl': [
|
||||
'file://' + os.path.join(cachedir, 'jessie32.box'),
|
||||
'https://f-droid.org/jessie32.box',
|
||||
],
|
||||
'cachedir': cachedir,
|
||||
'cpus': 1,
|
||||
'memory': 3584,
|
||||
}
|
||||
@ -378,7 +381,7 @@ vagrantfile += """
|
||||
chef.add_recipe "kivy"
|
||||
end
|
||||
end
|
||||
""" % (options.debian_mirror)
|
||||
""" % (config['debian_mirror'])
|
||||
|
||||
# Check against the existing Vagrantfile, and if they differ, we need to
|
||||
# create a new box:
|
||||
|
Loading…
Reference in New Issue
Block a user