diff options
| author | Hugo Herbelin | 2020-04-30 19:41:09 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-04-30 19:41:09 +0200 |
| commit | c0f221a77d0d42f6e8190c92b995b6f38fb53856 (patch) | |
| tree | 04e0f9608d492eb8b4796142e183f0ba99387eb8 | |
| parent | 8287516a003d97852e57e9dc64cde812aec0f10f (diff) | |
Less confusing configure message when lablgtk exists but not lablgtksourceview.
| -rw-r--r-- | configure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ml b/configure.ml index 0eff70999d..75c11dab5f 100644 --- a/configure.ml +++ b/configure.ml @@ -751,10 +751,10 @@ let check_coqide () = if !prefs.coqide = Some No then set_ide No "CoqIde manually disabled"; let dir, via = get_lablgtkdir () in if dir = "" - then set_ide No "LablGtk3 not found" + then set_ide No "LablGtk3 or LablGtkSourceView3 not found" else let (ok, version) = check_lablgtk_version () in - let found = sprintf "LablGtk3 found (%s)" version in + let found = sprintf "LablGtk3 and LablGtkSourceView3 found (%s)" version in if not ok then set_ide No (found^", but too old (required >= 3.0, found " ^ version ^ ")"); (* We're now sure to produce at least one kind of coqide *) lablgtkdir := shorten_camllib dir; |