Improved distribution script

.gitignore

@@ -26,8 +26,8 @@ scripts/*_node_info/
 .settings/
 .project
 hotmoka.log*
-spring.log.*
 tendermint.log
+moka_*.tar.gz
 
 # IntelliJ
 out/

build_and_docker.sh

@@ -1,11 +1,13 @@
 #!/bin/bash
 
-# This Maven invocation will compile and install all Hotmoka and Takamaka
+# This Maven invocation will compile and install all Hotmoka
 # jars in your local Maven repository. Remove -DskipTests if you
-# what to run the tests as well. Modules get compiled and
-# distributed inside the modules/ directory.
+# what to run the tests as well.
 # Docker images are created at the end and pushed to DockerHub
 # (you must have the right to do that)
+# A moka_VERSION.tar.gz archive get created containing all modules.
+# for running the moka script.
+
 
 if [ -z $1 ]
 then
@@ -29,3 +31,5 @@ DOCKER_FILE_HOTMOKA=dockerfiles/tendermint-node/tendermint-node-arm64
 DOCKER_FILE_BLUEKNOT=dockerfiles/tendermint-node/blueknot-tendermint-node-arm64
 docker buildx build --push --platform linux/arm64 -t ${DOCKER_IMAGE_HOTMOKA} -f ${DOCKER_FILE_HOTMOKA} .
 #docker buildx build --push --platform linux/arm64 -t ${DOCKER_IMAGE_BLUEKNOT} -f ${DOCKER_FILE_BLUEKNOT} .
+
+tar -cvf moka_${VERSION}.tar --directory io-hotmoka-moka modules moka moka.bat; gzip moka_${VERSION}.tar