Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

BENB add picotool installation to dockerfile #151

Merged
merged 4 commits into from
Feb 3, 2025
Merged

BENB add picotool installation to dockerfile #151

Changes from 3 commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
f6382a8
BENB add picotool installation to dockerfile
benblaise-intech Feb 3, 2025
2c78c9d
BENB change docker picotool install and add safe git dir
benblaise-intech Feb 3, 2025
5e15836
BENB change picotool workdirs and cmake invocation
benblaise-intech Feb 3, 2025
e80824c
BENB use absolute workdir in picotool installation
benblaise-intech Feb 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 14 additions & 2 deletions Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,12 +19,21 @@ RUN apt update && \
. ./emsdk_env.sh && \
cd ..

# Set working directory

WORKDIR /

ENV PICO_SDK_PATH=/pico/pico-sdk

# Install picotool
RUN apt install libusb-1.0-0-dev
RUN git clone --depth 1 --branch 2.1.0 https://github.com/raspberrypi/picotool.git
RUN mkdir -p picotool/build
WORKDIR picotool
RUN cmake . -B build
WORKDIR build
RUN make && cmake --install .

WORKDIR /

ENV EMSDK=/emsdk EM_CONFIG=/emsdk/.emscripten EMSDK_NODE=/emsdk/node/14.18.2_64bit/bin/node PATH=/emsdk:/emsdk/upstream/emscripten:/emsdk/upstream/bin:/emsdk/node/14.18.2_64bit/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
# Set up environment variables
ENV CODEQL_HOME=/opt/codeql
Expand Down Expand Up @@ -52,5 +61,8 @@ COPY ./.pre-commit-config.yaml /
RUN git init
RUN pre-commit install-hooks

# Add /project as a safe git repository
RUN git config --global --add safe.directory /project

# Define default command
CMD ["bash"]