diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-17 17:06:12 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-10-17 17:06:12 +0000 |
| commit | 89a68d6a386b0986c06590e21ca3f46375d9b06b (patch) | |
| tree | f7819432338a9664e5857c4a4ecc904b6e32a90d /test-suite/output/Fixpoint.v | |
| parent | 86e05d71ca723e102f3b736f35257dbbe37d7f55 (diff) | |
Taking into account that ocamlfind might find a package w/o the files
needed for compiling being present. Do the check by hand. Incidentally
improved reporting messages. Also check gSourceview.cmi rather than
gSourceview.mli for better guess that lablgtk sourceview bindings are
there (I've seen installations where gSourceview.mli was here but not
gSourceview.cmi).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15901 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite/output/Fixpoint.v')
0 files changed, 0 insertions, 0 deletions