Hello, Am Freitag, 8. Juli 2016, 08:33:27 CEST schrieb Johannes Weberhofer:
I have updated the mediawiki and now recognized, that it installs also on (now) unsupported PHP versions. It requires php >= 5.5.9.
PHP is currently provided by php5* and php7* packages. The problem I'm facing is, that all current installations of openSUSE does not provide it's version while providing php or mod_php. This is what php provides (among some other):
php php-api = 20121113 php5 = 5.5.14-50.1
Shall I use the php-api versions to decide when to install? Is there a way to allow installation on "php5 >= 5.5.9 OR php7" ?
I'd try something like Requires: php Conflicts: php5 < 5.5.9 (untested!) Using php-api might be another workaround. Probably easier on the technical level, but harder to understand for the average user. I don't worry about users querying rpm --requires mediawiki (because they are probably above the "average" level), but you might trigger messages like "mediawiki requires php-api > 20121113, but no package provides it" on installation (attemps) - and such a message is not really helpful. I'd also recommend to do a SR to the php5 and php7 packages - the "php" provide should include the version number so that you don't need to use hacks like the above in the future ;-) Oh, and it looks like rpm 4.13 will introduce what you'd need: http://www.rpm.org/wiki/PackagerDocs/BooleanDependencies (Tumbleweed has rpm 4.12) BTW: Fedora allows using this new feature only in Suggests:, Enhances: and Supplements: - but not in Requires: or Recommends: https://fedoraproject.org/wiki/Packaging:Guidelines#Rich.2FBoolean_dependenc... Regards, Christian Boltz -- So unless you want openSUSE to inhabit some Gothic alternate reality where Coolo wears Joker makeup to randomly check in horrorshow code direct from the authors' editors, you'll agree we didn't want this one ;). [Will Stephenson in opensuse-factory] -- To unsubscribe, e-mail: opensuse-packaging+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-packaging+owner@opensuse.org