Skip to content

XLS Docker Image #407

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

Open
UnsignedByte wants to merge 5 commits into
base: main
Choose a base branch
from
Open

XLS Docker Image #407

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
d05d59f
add docker image
UnsignedByte Dec 16, 2023
2a4c321
xls dockerfile
UnsignedByte Dec 16, 2023
b4fa648
upd
UnsignedByte Dec 17, 2023
b2165a5
Merge branch 'main' into xls-docker
UnsignedByte Mar 18, 2024
b3b0e86
use verbose failuer
UnsignedByte Mar 18, 2024
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
24 changes: 23 additions & 1 deletion Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ RUN git clone https://digidev.digi.e-technik.uni-kassel.de/git/scalp.git &&\

# Install FloPoCo 4.1
WORKDIR /home
RUN git clone --branch flopoco-4.1 https://gitlab.com/flopoco/flopoco &&\
RUN git clone https://gitlab.com/flopoco/flopoco &&\
cd flopoco && git checkout f3d76595c01f84cee57ae67eee1ceb31a6fe93bc &&\
mkdir build && cd build &&\
cmake -GNinja .. && ninja &&\
Expand All @@ -67,6 +67,28 @@ RUN git clone --depth 1 --branch v3.0.0 https://github.com/ghdl/ghdl.git &&\
LDFLAGS='-ldl' ../configure --with-llvm-config --prefix=/usr &&\
make && make install

ARG TARGETOS TARGETARCH

# Install Bazel 6.4.0
WORKDIR /home
RUN apt install -y g++ unzip zip default-jdk

# Download bazelisk
RUN wget "https://github.com/bazelbuild/bazelisk/releases/download/v1.19.0/bazelisk-${TARGETOS}-${TARGETARCH}" --output-document bazelisk && \
chmod +x bazelisk && \
mv bazelisk /root/.local/bin/bazel

ARG USE_BAZEL_VERSION=7.0.0

RUN bazel version

# Install and build XLS (without C++ frontend)
WORKDIR /home
RUN git clone --depth 1 https://github.com/google/xls.git
WORKDIR /home/xls
RUN apt install -y python3-distutils python3-dev libtinfo5 python-is-python3 && \
bazel build --verbose_failures -c opt -- //xls/... -//xls/contrib/xlscc/...

# Install verible
WORKDIR /home
RUN wget https://github.com/chipsalliance/verible/releases/download/v0.0-3428-gcfcbb82b/verible-v0.0-3428-gcfcbb82b-Ubuntu-20.04-focal-x86_64.tar.gz --output-document verible.tar.gz && \
Expand Down