Merge pull request #49 from davidmonterocrespo24/feat/raspberryPi_emuation

feat: Add wokwi-boards library to Dockerfile and mark subprojects as …
pull/52/head
David Montero Crespo 2026-03-23 11:34:59 -03:00 committed by GitHub
commit 82aec1411a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions

View File

@ -33,7 +33,8 @@ WORKDIR /app
# git is pre-installed in the node:20 Debian image.
RUN git clone --depth=1 https://github.com/wokwi/avr8js.git wokwi-libs/avr8js \
&& git clone --depth=1 https://github.com/wokwi/rp2040js.git wokwi-libs/rp2040js \
&& git clone --depth=1 https://github.com/wokwi/wokwi-elements.git wokwi-libs/wokwi-elements
&& git clone --depth=1 https://github.com/wokwi/wokwi-elements.git wokwi-libs/wokwi-elements \
&& git clone --depth=1 https://github.com/wokwi/wokwi-boards.git wokwi-libs/wokwi-boards
# Build avr8js
WORKDIR /app/wokwi-libs/avr8js