Skip to content

Commit

Permalink
Added cheri build dependencies
Browse files Browse the repository at this point in the history
  • Loading branch information
JianyiCheng committed Jul 3, 2023
1 parent 17d46d2 commit be3285d
Show file tree
Hide file tree
Showing 2 changed files with 12 additions and 2 deletions.
12 changes: 11 additions & 1 deletion Docker/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,17 @@ RUN apt-get update -y \
&& apt-get install -y verilator gcc-riscv64-unknown-elf \
libgmp-dev python3 python3-pip g++\
clang llvm lld clang-tidy clang-format \
gcc-multilib gcc cmake
gcc-multilib gcc cmake sudo wget vim \
curl

# Install CHERI dependencies
RUN apt-get update -y \
&& apt-get install -y autoconf automake libtool pkg-config \
clang bison cmake mercurial ninja-build \
samba flex texinfo time libglib2.0-dev \
libpixman-1-dev libarchive-dev libarchive-tools \
libbz2-dev libattr1-dev libcap-ng-dev \
libexpat1-dev libgmp-dev

# Install SystemVerilog formatter
RUN mkdir -p /srcPkgs \
Expand Down
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ build-docker:

# Enter the docker image
shell: build-docker
docker run -it --shm-size 256m --hostname simtight-ubuntu2204 -u $(user) -v $(shell pwd):/workspace simtightubuntu2204:latest /bin/bash
docker run -it --shm-size 256m --hostname simtight-ubuntu2204 -u $(user) -v $(shell pwd):/workspace simtight-ubuntu2204:latest /bin/bash

# Fetch submodules
sync:
Expand Down

0 comments on commit be3285d

Please sign in to comment.