diff options
author | Slávek Banko <slavek.banko@axis.cz> | 2019-06-29 10:53:05 +0200 |
---|---|---|
committer | Slávek Banko <slavek.banko@axis.cz> | 2019-06-29 10:53:29 +0200 |
commit | 8bb18621b7b62ef46fda3b24483e28baaaf9d1eb (patch) | |
tree | ce95c71ea54737fb00e01b7c9015e1d1a9625262 /ubuntu/_base/applications/tdenetworkmanager | |
parent | c51c82ef736e35446525d35f70b8d7cd5b380361 (diff) | |
download | tde-packaging-8bb18621b7b62ef46fda3b24483e28baaaf9d1eb.tar.gz tde-packaging-8bb18621b7b62ef46fda3b24483e28baaaf9d1eb.zip |
DEB tdeedu: Require kalzium/solver only if ocamlopt is available.
In the previous commit ocamldep was wrong - it was supposed to be ocamlopt.
Signed-off-by: Slávek Banko <slavek.banko@axis.cz>
(cherry picked from commit f2fcec0e0ad7cb99ae59fd0cd7af18ec66c99bec)
Diffstat (limited to 'ubuntu/_base/applications/tdenetworkmanager')
0 files changed, 0 insertions, 0 deletions