better dependencies fetching

- provide git url for sharedrawweb
This commit is contained in:
philippe lhardy
2023-07-28 10:27:18 +02:00
committed by philippe lhardy
parent 6d7c03d468
commit 2b050cccda
3 changed files with 37 additions and 2 deletions

View File

@@ -1,5 +1,20 @@
#!/bin/bash
log_any()
{
echo "$@" >&2
}
log_error()
{
log_any "[ERROR] $@"
}
log_info()
{
log_any "[INFO] $@"
}
fetch_jackson_databind()
{
@@ -28,7 +43,9 @@ fetch_zstd-jni()
if [[ ! -d ../sharedrawweb ]]
then
echo "[ERROR] expected a sharedrawweb project parent ( for exports )" >&2
log_error "expected a sharedrawweb project parent ( for exports ). Please clone related project."
sharedrawweb_git_url="ssh://philippe@www4.artisanlogiciel.net:2023/home/philippe/artisanlogiciel/code/sharedrawweb"
log_info "cd ..; git clone sharedrawweb_git_url"
fi
if [[ ! -d libs ]]