Update how the deps are initialized

src/deps/init_deps.sh

@@ -0,0 +1,59 @@
+#!/bin/bash
+
+function do_and_check_cmd() {
+	output=$("$@" 2>&1)
+	ret="$?"
+	if [ $ret -ne 0 ] ; then
+		echo "❌ Error from command : $*"
+		echo "$output"
+		exit $ret
+	fi
+	return 0
+}
+
+jq -c .download[] src/deps/deps.json | while read download
+do
+  url="$(echo $download | jq -r .url)"
+  id="$(echo $url | sed 's/.*\/\([^\/]*\)\.tar\.gz/\1/')"
+  name="$(echo $download | jq -r .name)"
+  sha512="$(echo $download | jq -r .sha512)"
+
+  echo "ℹ️ Downloading ${name} from ${url}"
+  
+  if [ ! -d "src/deps/src/${id}" ] ; then
+    do_and_check_cmd wget -q -O "src/deps/src/${id}.tar.gz" "$url"
+    check="$(sha512sum "src/deps/src/${id}.tar.gz" | cut -d ' ' -f 1)"
+		if [ "$check" != "$sha512" ] ; then
+			echo "❌️ Wrong hash from file $url (expected $sha512 got $check)"
+			exit 1
+		fi
+    if [ -f "src/deps/src/${id}.tar.gz" ] ; then
+      do_and_check_cmd tar -xvzf src/deps/src/${id}.tar.gz -C src/deps/src
+      do_and_check_cmd rm -f src/deps/src/${id}.tar.gz
+    fi
+  else
+		echo "⚠️ Skipping download of $url because target directory is already present"
+	fi
+done
+
+jq -c .git_repository[] src/deps/deps.json | while read repo
+do
+  id="$(echo $repo | jq -r .id)"
+  name="$(echo $repo | jq -r .name)"
+  url="$(echo $repo | jq -r .url)"
+  commit="$(echo $repo | jq -r .commit)"
+
+  echo "ℹ️ Clone ${name} from ${url} at commit/version ${commit}"
+
+  if [ ! -d "src/deps/src/${id}" ] ; then
+    do_and_check_cmd git subtree add --prefix src/deps/src/${id} ${url} ${commit} --squash
+  else
+		echo "⚠️ Skipping clone of $url because target directory is already present"
+    echo "ℹ️ Updating ${name} from ${url} at commit/version ${commit}"
+    do_and_check_cmd git subtree pull --prefix src/deps/src/${id} ${url} ${commit} --squash
+	fi
+
+  if [ -d "src/deps/src/${id}/.git" ] ; then
+    do_and_check_cmd rm -rf "src/deps/src/${id}/.git"
+  fi
+done