feat: Add wokwi-boards library to Dockerfile and mark subprojects as dirty
parent
9f40ae30b1
commit
5260261201
|
|
@ -33,7 +33,8 @@ WORKDIR /app
|
||||||
# git is pre-installed in the node:20 Debian image.
|
# git is pre-installed in the node:20 Debian image.
|
||||||
RUN git clone --depth=1 https://github.com/wokwi/avr8js.git wokwi-libs/avr8js \
|
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/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
|
# Build avr8js
|
||||||
WORKDIR /app/wokwi-libs/avr8js
|
WORKDIR /app/wokwi-libs/avr8js
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue