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://ftp.uk.debian.org/debian/",
+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()
-config = {}
+# set up default config
+config = {
+ 'arch64': False,
+ 'basebox': 'jessie32',
+ 'baseboxurl': 'https://f-droid.org/jessie32.box',
+ 'cachedir': os.path.join(os.getenv('HOME'), '.cache', 'fdroidserver'),
+ 'cpus': 1,
+ 'memory': 3584,
+}
# load config file, if present
if os.path.exists('makebuildserver.config.py'):
vagrant(['destroy', '-f'], cwd=serverdir, printout=options.verbose)
# Update cached files.
-cachedir = os.path.join('buildserver', 'cache')
+cachedir = config['cachedir']
if not os.path.exists(cachedir):
- os.mkdir(cachedir)
+ os.makedirs(cachedir, 0755)
cachefiles = [
('android-sdk_r24.4.1-linux.tgz',