# Use distro-provided FFmpeg on Arch
deps = []
- deps.append(('libdcp', '9eb185c'))
- deps.append(('libsub', '04d5701'))
+ deps.append(('libdcp', '6ff5bc5'))
+ deps.append(('libsub', 'd4b8b95'))
deps.append(('rtaudio-cdist', '739969e'))
return deps
def option_defaults():
- return { "player-only": False, "gui": True, "variant": None }
+ return { "gui": True, "variant": None }
def configure_options(target, options):
opt = ''
if not options['gui']:
opt += ' --disable-gui'
- if options['player-only']:
- opt += ' --player-only'
-
if options['variant'] is not None:
opt += ' --variant=%s' % options['variant']