Add support for Linux arm64 (#446)

2023-04-18 11:38:26 +01:00
parent 392545a57f
commit 0d0b333f40
9 changed files with 114 additions and 27 deletions
--- a/dockerbuild/Dockerfile
+++ b/dockerbuild/Dockerfile
@@ -16,7 +16,7 @@ RUN apt-get -qq update && apt-get -qq dist-upgrade && \
  libsecret-1-dev libgnome-keyring-dev \
  libopenjp2-tools \
  # Used by github actions \
-  jq grep \
+  jq grep file \
  # Used by seshat (when not SQLCIPHER_STATIC) \
  libsqlcipher-dev && \
  # git-lfs