1 files changed, 27 insertions, 0 deletions
diff --git a/create_tools/create_minibase.sh b/create_tools/create_minibase.sh
new file mode 100755
index 0000000..9cc45c5
--- /dev/null
+++ b/create_tools/create_minibase.sh
@@ -0,0 +1,27 @@
+#!/bin/dash
+
+SOURCE_DIR=src
+MINIBASE_VERSION=0.6.2
+
+OUT_DIRECTORY=out
+
+#prepare
+_PWD=`pwd`
+
+echo "Unarchive minibase"
+cd $SOURCE_DIR
+rm -rf minibase-$MINIBASE_VERSION
+unzip minibase.zip
+cd minibase-$MINIBASE_VERSION
+./configure
+make
+
+
+#save result
+#declare -a allowed_binaries
+mkdir ../../$OUT_DIRECTORY/minibase
+find ./ -executable -type f | xargs -I {} cp ./{} ../../$OUT_DIRECTORY/minibase
+
+
+echo "Copy minibase to out"
+