Convert builtin tools into a plugin

[builder.git] / Build

diff --git a/Build b/Build
index 794c3f30167577f157c399bc127d6ad86d74116b..2cf1583030d2280291e617f70c9c8fb86dc6d1cc 100644 (file)
--- a/Build
+++ b/Build
@@ -13,12 +13,6 @@ package "builder"
                standard CXX "c++11";
        };
 
-       library "builtintools"
-       {
-               source "plugins/builtin";
-               default false;
-       };
-
        library "androidtools"
        {
                source "plugins/android";
@@ -34,7 +28,6 @@ package "builder"
        library "libbuilder"
        {
                source "source/lib";
-               use "builtintools";
                use "androidtools";
                use "datatools";
                build_info
@@ -63,6 +56,12 @@ package "builder"
                install true;
        };
 
+       module "builtintools"
+       {
+               source "plugins/builtin";
+               install true;
+       };
+
        module "gnutools"
        {
                source "plugins/gnu";