der richter
e7add205d8
build: fix build with disabled swift and Media Player
...
when swift is disabled some headers are not included. one of them is the
options/options.h header that is needed for the vo_sub_opts struct. we
include it to fix the build without swift.
the second problem is the build time check for the macOS 10.12.2
features or more specific the Media Player support. since it is a swift
feature we can not use it when swift is disabled. add a separate
Media Player check that also depends on swift and use that new
preprocessor variable as a build time check instead.
Fixes #7282
2019-12-23 23:44:20 +01:00
..
2017-09-22 09:24:19 +02:00
2019-12-15 20:07:31 +01:00
2017-08-21 18:42:04 +02:00
2019-11-29 12:14:43 +01:00
2018-05-24 19:56:35 +02:00
2014-09-23 23:09:25 +02:00
2018-02-13 20:16:01 -08:00
2017-06-29 10:36:16 +02:00
2019-09-19 20:37:05 +02:00
2019-11-20 15:11:33 +01:00
2019-12-15 20:07:31 +01:00
2019-12-15 20:07:31 +01:00
2019-09-26 00:02:02 +02:00
2019-12-23 23:44:20 +01:00
2019-01-26 20:44:36 +01:00
2019-12-15 20:07:31 +01:00
2019-12-15 20:07:31 +01:00
2019-12-15 20:07:31 +01:00
2017-08-18 19:20:41 +02:00
2017-08-18 19:20:41 +02:00
2019-09-23 19:28:38 +02:00
2017-06-24 16:29:22 +02:00
2017-06-24 16:29:22 +02:00
2017-06-24 16:29:22 +02:00
2015-05-02 18:59:58 +02:00
2015-05-02 18:59:58 +02:00
2019-09-19 20:37:05 +02:00
2015-05-02 18:59:58 +02:00
2015-12-20 21:06:02 +11:00
2018-01-01 21:44:01 +00:00
2017-10-03 11:30:56 +02:00
2016-01-19 18:36:06 +01:00
2017-06-29 10:36:16 +02:00
2016-09-28 21:38:52 +10:00
2017-06-29 10:36:16 +02:00
2017-12-09 21:11:46 +02:00
2017-12-09 21:11:46 +02:00
2018-08-20 17:16:22 +02:00
2017-04-15 16:20:00 +02:00
2014-09-20 04:18:40 +02:00
2018-08-20 17:16:22 +02:00
2017-06-29 10:30:16 +02:00
2018-05-24 19:56:35 +02:00
2018-05-24 19:56:35 +02:00
2017-06-29 10:30:16 +02:00
2016-07-05 19:15:59 +02:00
2017-06-29 10:30:16 +02:00
2018-05-25 10:17:06 +02:00
2017-06-27 18:08:56 +02:00
2017-06-27 18:08:56 +02:00
2017-06-22 13:17:40 +02:00
2015-05-11 23:44:36 +02:00
2013-12-17 02:39:45 +01:00
2017-12-02 23:29:40 +01:00
2017-06-29 10:36:16 +02:00
2018-05-24 19:56:35 +02:00
2018-12-06 10:30:41 +01:00
2017-08-05 02:38:44 +10:00
2017-08-05 02:38:44 +10:00
2019-05-10 21:06:58 +10:00
2017-02-07 22:45:07 +11:00
2017-01-30 00:22:30 +11:00