Move some internal tools out of the way, to not scare users.

diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index 53f9e09..340572e 100644 (file)
--- 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 f14086c..c15b68a 100644 (file)
--- 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 (file)
index 0000000..d0b485c
--- /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 22152d3..76425a8 100644 (file)
--- 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