tree ed5304e1c63e8e16585dd2c2861c7eaf8ab3fa0b
parent a09047459f7c5513fa1653fb6e3cdebd965a33ee
author Marc Kupietz <kupietz@ids-mannheim.de> 1786280349 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1786280349 +0200

Install everything with one script, and use it in the CI

scripts/install.sh runs the whole installation: the packages of the
distribution, rocksdb where there is none or none with the static
library, collocatordb, and dereko2vec with the fast static link, tested
and installed below /usr/local. Options: --shared, --skip-deps,
--skip-tests, --static-binary, --prefix, --rocksdb-prefix,
--rocksdb-version, -j.

The GitHub workflow (Ubuntu, MacOS) and the GitLab CI (Debian, with the
completely static binary as the artifact) now call it instead of
repeating the steps.

build-rocksdb.sh passes the homebrew prefix to cmake on MacOS, so that
the compression libraries are found.

Change-Id: Idbe7d7e598001d91aef8aaba045ac1ace61bf92a