build edgedb docker image for arm/raspberry pi

README.md

build edgedb docker image for arm

system I used

$ uname -a
Linux brick5 4.15.0-99-generic #100~16.04.1-Ubuntu SMP Wed Apr 22 23:56:30 UTC 2020 x86_64 x86_64 x86_64 GNU/Linux

install docker & buildx https://www.docker.com/blog/getting-started-with-docker-for-arm-on-linux/

qemu-user needs to be installed before the buildx builder is created
docker/buildx#138 (comment) Also, the default awk on ubuntu doesn't support some of the flags used in the edgedb-pkg repo.

sudo apt-get update
sudo apt-get install -y gawk qemu-user

check out

git clone https://github.com/edgedb/edgedb-pkg.git
cd edgedb-pkg
make TARGET=debian-stretch build


docker buildx create --name raspberrypi-builder
docker buildx use raspberrypi-builder
docker buildx inspect --bootstrap

docker buildx build --platform linux/amd64,linux/arm64,linux/arm/v7 -t edgedb-pkg/build:debian-stretch integration/linux/build/debian-stretch

so far this doesn't work. buildx hangs at differnt places in the build process :(