kdevelop: added ability to include kdevelop plugins

kdev-php: init at 5.3.1 kdev-python: init at 5.3.1
2019-02-15 23:20:43 -05:00
parent 01d8894c4d
commit 49802ef50d
5 changed files with 82 additions and 2 deletions
@@ -0,0 +1,7 @@
+{ symlinkJoin, kdevelop-unwrapped, plugins ? null }:
+
+symlinkJoin {
+  name = "kdevelop-with-plugins";
+
+  paths = [ kdevelop-unwrapped ] ++ (if plugins != null then plugins else []);
+}