return (('ffmpeg-cdist', '5fce90f', ffmpeg_options),
('libdcp', '8b72edd'),
- ('libsub', '08d3a84'),
+ ('libsub', '05c6345'),
('rtaudio-cdist', None))
def configure_options(target):
if target.distro == 'debian' or target.distro == 'ubuntu':
return package_debian(target, cpu, version)
- elif target.distro == 'centos' or target.distro == 'fedora':
+ elif target.distro == 'centos' or target.distro == 'fedora' or target.distro == 'mageia':
return package_rpm(target, cpu, version)
elif target.platform == 'osx':
target.command('bash platform/osx/make_dmg.sh %s' % target.directory)