diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-11-25 17:56:41 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-11-25 18:02:19 +0100 |
| commit | ef8718a7fd3bcd960d954093d8c636525e6cc492 (patch) | |
| tree | 4a636aab8c8f18fb7ccb80e814ccc311059b5164 /lib/system.mli | |
| parent | e92aeed3abcf7d42045deb9fb3a450d3527eadc9 (diff) | |
Heuristic to check the version of lablgtk2 in configure.ml.
When not using ocamlfind, we use a grep-based heuristic to check that lablgtk2
is recent enough. This is an extension of an already-used heuristic.
Diffstat (limited to 'lib/system.mli')
0 files changed, 0 insertions, 0 deletions