From: Florian Brosch Date: Sat, 21 Jul 2012 17:39:00 +0000 (+0200) Subject: libvaladoc: Improve plugin selection (#676453) X-Git-Tag: 0.37.1~3^2~183 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=482fb8025a05eb3763648c9e20c42eef1a9e787b;p=thirdparty%2Fvala.git libvaladoc: Improve plugin selection (#676453) --- diff --git a/src/libvaladoc/moduleloader.vala b/src/libvaladoc/moduleloader.vala index 9ac5d7b9e..a4e8697b3 100644 --- a/src/libvaladoc/moduleloader.vala +++ b/src/libvaladoc/moduleloader.vala @@ -75,12 +75,17 @@ public class Valadoc.ModuleLoader : Object { return FileUtils.test (path, FileTest.EXISTS) && FileUtils.test (library_path, FileTest.EXISTS); } + public static bool is_doclet (string path) { + string library_path = Path.build_filename (path, "libdoclet." + Module.SUFFIX); + return FileUtils.test (path, FileTest.EXISTS) && FileUtils.test (library_path, FileTest.EXISTS); + } + private static string get_plugin_path (string pluginpath, string pluginsubdir) { if (Path.is_absolute (pluginpath) == false) { // Test to see if the plugin exists in the expanded path and then fallback // to using the configured plugin directory string local_path = Path.build_filename (Environment.get_current_dir(), pluginpath); - if (FileUtils.test(local_path, FileTest.EXISTS)) { + if (is_doclet(local_path)) { return local_path; } else { return Path.build_filename (Config.plugin_dir, pluginsubdir, pluginpath);