+
+# -------------------------
+# start_point = 12 : creaMiniTools
+#-------------------------
+if [ $start_point -le 12 ]
+then
+# the following stupid test is used at debug time; Please don't remove!
+#if [ true = false ]
+if [ true = true ]
+then
+# creaMiniTools
+ bash $scriptDir/cmakemod.sh $creaminitoolssource $generationdir $installPrefix $buildType
+ bash $scriptDir/creaMiniToolsVariables.sh $creaminitoolssource $generationdir $docgeneration
+ bash $scriptDir/compilemod.sh $buildType $creaminitoolssource $generationdir
+fi
+fi
+
+