on a Raspberry pi (2,3) or similiar arm32v7 arch machine with docker:
- remove previous image if present:
docker rmi recorder-build:arm32v7
- build the image:
docker build -t recorder-build:arm32v7 -f Dockerfile.arm32v7 --no-cache .
- copy the .deb package to current dir:
docker run --rm -v $(pwd):/tmp -it recorder-build:arm32v7 /bin/bash -c 'cp *.deb /tmp'