From 46bf85abbe096a557a905808921b2f585ef16f5b Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 25 Jul 2015 18:12:58 +0200
Subject: [PATCH] Move some internal tools out of the way, to not scare users.

---
 buildtools/Cmake/Distrib.cmake                  | 2 +-
 tools/CMakeLists.txt                            | 1 -
 tools/internal/README                           | 8 ++++++++
 tools/{ => internal}/check_dist_archive         | 0
 tools/{ => internal}/check_dist_archive.exclude | 7 +------
 tools/{ => internal}/generate-multi-jar.py      | 0
 tools/{ => internal}/indent                     | 0
 tools/{ => internal}/spell_comments.pl          | 0
 tools/{ => internal}/spell_dict.txt             | 0
 tools/{ => internal}/update_copyright_header    | 0
 10 files changed, 10 insertions(+), 8 deletions(-)
 create mode 100644 tools/internal/README
 rename tools/{ => internal}/check_dist_archive (100%)
 rename tools/{ => internal}/check_dist_archive.exclude (87%)
 rename tools/{ => internal}/generate-multi-jar.py (100%)
 rename tools/{ => internal}/indent (100%)
 rename tools/{ => internal}/spell_comments.pl (100%)
 rename tools/{ => internal}/spell_dict.txt (100%)
 rename tools/{ => internal}/update_copyright_header (100%)

diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index 53f9e09fb5..340572e5fa 100644
--- a/buildtools/Cmake/Distrib.cmake
+++ b/buildtools/Cmake/Distrib.cmake
@@ -320,7 +320,7 @@ set(CMAKE_BINARY_TEST_DIR ${CMAKE_BINARY_DIR})
 # Allow to test the "make dist"
 add_custom_target(distcheck
   COMMAND ${CMAKE_COMMAND} -E echo "XXX compare archive with git repository"
-  COMMAND ${CMAKE_HOME_DIRECTORY}/tools/check_dist_archive -batch ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}.tar.gz
+  COMMAND ${CMAKE_HOME_DIRECTORY}/tools/internal/check_dist_archive -batch ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}.tar.gz
 
   COMMAND ${CMAKE_COMMAND} -E echo "XXX remove old copy"
   COMMAND ${CMAKE_COMMAND} -E remove_directory ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}
diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index f14086cf9f..c15b68ab2a 100644
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -4,7 +4,6 @@ set(bin_files
   ${bin_files}
   ${CMAKE_CURRENT_SOURCE_DIR}/fix-paje-trace.sh
   ${CMAKE_CURRENT_SOURCE_DIR}/generate-dwarf-functions
-  ${CMAKE_CURRENT_SOURCE_DIR}/indent
   ${CMAKE_CURRENT_SOURCE_DIR}/normalize-pointers.py
   ${CMAKE_CURRENT_SOURCE_DIR}/platf_route_rulebased2full.py
   ${CMAKE_CURRENT_SOURCE_DIR}/sg_unit_extractor.pl
diff --git a/tools/internal/README b/tools/internal/README
new file mode 100644
index 0000000000..d0b485c35e
--- /dev/null
+++ b/tools/internal/README
@@ -0,0 +1,8 @@
+This directory contains some tools that we use to build and maintain
+SimGrid itself. I doubt that any of them are useful out of that
+context, but you are welcome to dig and inspect everything you want.
+
+They are not included in the archive and are thus not mandatory to use
+SimGrid.
+
+These little codes are under the same licence than SimGrid itself.
diff --git a/tools/check_dist_archive b/tools/internal/check_dist_archive
similarity index 100%
rename from tools/check_dist_archive
rename to tools/internal/check_dist_archive
diff --git a/tools/check_dist_archive.exclude b/tools/internal/check_dist_archive.exclude
similarity index 87%
rename from tools/check_dist_archive.exclude
rename to tools/internal/check_dist_archive.exclude
index 22152d3888..76425a8c3a 100644
--- a/tools/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -43,9 +43,4 @@
 
 + teshsuite/smpi/mpich3-test/f77/attr/.*
 
-+ tools/check_dist_archive
-+ tools/check_dist_archive\.exclude
-+ tools/generate-multi-jar\.py
-+ tools/update_copyright_header
-
-+ tools/spell/.*
++ tools/internal/.*
diff --git a/tools/generate-multi-jar.py b/tools/internal/generate-multi-jar.py
similarity index 100%
rename from tools/generate-multi-jar.py
rename to tools/internal/generate-multi-jar.py
diff --git a/tools/indent b/tools/internal/indent
similarity index 100%
rename from tools/indent
rename to tools/internal/indent
diff --git a/tools/spell_comments.pl b/tools/internal/spell_comments.pl
similarity index 100%
rename from tools/spell_comments.pl
rename to tools/internal/spell_comments.pl
diff --git a/tools/spell_dict.txt b/tools/internal/spell_dict.txt
similarity index 100%
rename from tools/spell_dict.txt
rename to tools/internal/spell_dict.txt
diff --git a/tools/update_copyright_header b/tools/internal/update_copyright_header
similarity index 100%
rename from tools/update_copyright_header
rename to tools/internal/update_copyright_header
-- 
2.20.1