This repository has been archived on 2024-06-02. You can view files and clone it, but cannot push or open issues or pull requests.
upsilon-docker/Makefile

97 lines
3.2 KiB
Makefile

.PHONY: images f4pga buildroot litex clone help attach hardware-image \
buildroot-image litex-f4pga-image hardware-container \
upsilon.tar.gz upsilon-opensbi.tar.gz
help:
@echo 'compile commands (run in order)'
@echo 'make clone: clone repositories'
@echo 'make images: build docker images'
###### Images
images: hardware-image buildroot-image opensbi-image
hardware-image:
docker build -f scripts/Dockerfile.litex_f4pga -t "upsilon-litex-f4pga-env" .
buildroot-image: buildroot.tar.gz
docker build -f scripts/Dockerfile.buildroot -t "upsilon-buildroot-env" .
opensbi-image: opensbi.tar.gz
docker build -f scripts/Dockerfile.opensbi -t "upsilon-opensbi-env" .
###### Containers
### Hardware container
hardware-container:
docker run -d --name upsilon-hardware-container upsilon-litex-f4pga-env /bin/sh -c 'while true; do sleep 2; done'
hardware-container-copy: upsilon-hardware.tar.gz
# XXX: this always fails if there are very high UIDs, but the
# file is copied successfully.
-docker cp upsilon-hardware.tar.gz upsilon-hardware-container:/home/user/upsilon-hardware.tar.gz
hardware-container-shell:
docker exec -ti upsilon-hardware-container /bin/bash -l
hardware-container-clean:
-docker container stop upsilon-hardware-container
-docker container rm upsilon-hardware-container
### OpenSBI Container
opensbi-container:
docker run -d --name upsilon-opensbi-container upsilon-opensbi-env /bin/sh -c 'while true; do sleep 2; done'
opensbi-container-copy: upsilon-opensbi.tar.gz
-docker cp upsilon-opensbi.tar.gz upsilon-opensbi-container:/home/user/upsilon-opensbi.tar.gz
opensbi-container-execute:
docker exec -ti upsilon-opensbi-container /bin/bash -c ' \
tar -xvf upsilon-opensbi.tar.gz; \
cd opensbi && make CROSS_COMPILE=riscv64-linux-gnu- PLATFORM=litex/vexriscv; \
'
opensbi-container-clean:
-docker container stop upsilon-opensbi-container
-docker container rm upsilon-opensbi-container
###### External projects
clone: f4pga buildroot litex opensbi
f4pga:
if [ ! -d 'f4pga' ]; then \
git clone https://github.com/chipsalliance/f4pga; \
fi
cd f4pga && git checkout main && git pull && \
git checkout -B upsilon_stable 835a40534f9efd70770d74f56f25fef6cfc6ebc6 \
tar -czvf f4pga.tar.gz f4pga
buildroot:
if [ ! -d 'buildroot' ]; then \
git clone https://git.buildroot.org/buildroot; \
fi
cd buildroot && git checkout master && git pull && \
git checkout -B upsilon_stable 2023.02.1
tar -czvf buildroot.tar.gz buildroot/
litex:
if [ ! -d 'litex' ]; then \
git clone https://github.com/enjoy-digital/litex; \
fi
cd litex && git checkout master && git pull && \
git checkout -B upsilon_stable c6ccb626e88168045edacced3743f6bd98746742
upsilon-hardware.tar.gz:
tar -czvf upsilon-hardware.tar.gz upsilon/firmware/
# This script only works for GNU tar. It renames the extraction directory.
upsilon-opensbi.tar.gz:
tar -czvf upsilon-opensbi.tar.gz upsilon/opensbi/ --transform 's|upsilon/opensbi|opensbi/platform|'
opensbi:
if [ ! -d 'opensbi' ]; then \
git clone https://github.com/riscv-software-src/opensbi; \
fi
cd opensbi && git checkout master && git pull && \
git checkout -B upsilon_stable v1.2
opensbi.tar.gz:
tar -czvf opensbi.tar.gz opensbi/