 +}
 diff --git a/src/tool/src/Tool.i b/src/tool/src/Tool.i
 new file mode 100644
-index 00000000..cc67558b
+index 000000000..4daaac5da
 --- /dev/null
 +++ b/src/tool/src/Tool.i
 @@ -0,0 +1,52 @@

+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <https://www.gnu.org/licenses/>.
+
+add_subdirectory(src)
diff --git a/src/tool/include/tool/MakeTool.hh b/src/tool/include/tool/MakeTool.hh
new file mode 100644
index 00000000..d8e4b6dc
--- /dev/null
+++ b/src/tool/include/tool/MakeTool.hh
@@ -0,0 +1,38 @@

+}
diff --git a/src/tool/test/save_ok b/src/tool/test/save_ok
new file mode 100644
index 000000000..a529cf787
--- /dev/null
+++ b/src/tool/test/save_ok
@@ -0,0 +1,34 @@
