-
Notifications
You must be signed in to change notification settings - Fork 7
/
Dockerfile
executable file
·46 lines (37 loc) · 1.5 KB
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
# Use the base image
FROM docker.io/espressif/idf:v5.3.1
# Install pico sdk required dependencies
RUN apt update && \
apt install -y git python3 cmake gcc-arm-none-eabi libnewlib-arm-none-eabi build-essential xxd && \
mkdir -p pico && \
cd pico && \
git clone https://github.com/raspberrypi/pico-sdk.git --branch master && \
cd pico-sdk/ && \
git submodule update --init && \
cd ../.. && \
\
git clone https://github.com/emscripten-core/emsdk.git && \
cd emsdk && \
git pull && \
./emsdk install latest && \
./emsdk activate latest && \
. ./emsdk_env.sh && \
cd ..
# Set working directory
WORKDIR /
ENV PICO_SDK_PATH=/pico/pico-sdk
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
ENV PATH="${CODEQL_HOME}/codeql:${PATH}"
# Install CodeQL CLI tools
RUN mkdir -p ${CODEQL_HOME} && \
curl -L https://github.com/github/codeql-cli-binaries/releases/latest/download/codeql-linux64.zip -o ${CODEQL_HOME}/codeql.zip && \
unzip ${CODEQL_HOME}/codeql.zip -d ${CODEQL_HOME} && \
rm ${CODEQL_HOME}/codeql.zip && \
codeql --version
RUN cd ${CODEQL_HOME} && git clone --recursive https://github.com/github/codeql.git codeql-repo
RUN apt update && \
apt install -y socat
# Define default command
CMD ["bash"]