Skip to content

Instantly share code, notes, and snippets.

@fmoor
Created May 10, 2020 13:10
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save fmoor/e54987780622f3f9b9bf878ef6af2d83 to your computer and use it in GitHub Desktop.
Save fmoor/e54987780622f3f9b9bf878ef6af2d83 to your computer and use it in GitHub Desktop.
build edgedb docker image for arm/raspberry pi

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 :(

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment