"vscode:/vscode.git/clone" did not exist on "42fa9d7f0a6067018feb0d5a4387f3eb39069dc3"
Dockerfile.buildenv 1.72 KB
Newer Older
1
2
ARG REGISTRY=
ARG TAG=:latest
3
4
FROM ubuntu:jammy
RUN apt-get update \
5
6
7
8
 && DEBIAN_FRONTEND=noninteractive \
    TZ=Europe/Berlin \
    apt-get install -y \
	apt-utils \
9
10
11
12
	autoconf \
	bc \
	bison \
	build-essential \
Marvin Meiers's avatar
Marvin Meiers committed
13
	cmake \
14
15
16
17
	doxygen \
	g++ \
	flex \
	git \
18
	kmod \
19
20
21
	libboost-coroutine-dev \
	libboost-fiber-dev \
	libboost-iostreams-dev \
Jialin Li's avatar
Jialin Li committed
22
	libboost-program-options-dev \
23
24
	libelf-dev \
	libglib2.0-dev \
Jialin Li's avatar
Jialin Li committed
25
	libgmp-dev \
26
	libgoogle-perftools-dev \
Jialin Li's avatar
Jialin Li committed
27
	libnanomsg-dev \
28
29
	libpcap-dev \
	libpixman-1-dev \
30
	libprotobuf-dev \
Jialin Li's avatar
Jialin Li committed
31
32
	libssl-dev \
	libtool \
33
	locales \
34
	ninja-build \
35
36
37
	protobuf-compiler \
	python-is-python3 \
	python3-dev \
38
	python3-pip \
39
40
	rsync \
	scons \
41
	sudo \
42
43
	unzip \
	wget \
44
45
	nano \
	vim \
46
 && locale-gen en_US.UTF-8 \
47
 && rm -rf /var/lib/apt/lists/*
48
COPY requirements.txt /tmp/requirements.txt
49
RUN pip install --no-cache-dir --upgrade -r /tmp/requirements.txt
50
51
52
53
54
55
56
57
58
59
60
COPY verilator.patch /tmp/
RUN cd /tmp \
 && git clone -b v4.010 https://github.com/verilator/verilator \
 && cd verilator \
 && patch -p1 < /tmp/verilator.patch \
 && autoupdate \
 && autoconf \
 && ./configure \
 && make -j`nproc` \
 && make install \
 && rm -rf /tmp/verilator
Jialin Li's avatar
Jialin Li committed
61
62
63
64
65
66
67
68
69
RUN cd /tmp \
 && git clone https://github.com/apache/thrift.git \
 && cd thrift \
 && ./bootstrap.sh \
 && ./configure \
 && make -j`nproc` \
 && make install \
 && ldconfig \
 && rm -rf /tmp/thrift
70
71
72
73
74
75
76
77
78
79

# Add non-root user for vs code devcontainer.
ARG USERNAME=simbricks
ARG USER_UID=1000
ARG USER_GID=$USER_UID
RUN groupadd --gid $USER_GID $USERNAME \
 && useradd --uid $USER_UID --gid $USER_GID -m $USERNAME --shell /bin/bash \
# Add sudo support for this user and remove the need to type in password.
 && echo $USERNAME ALL=\(root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME \
 && chmod 0440 /etc/sudoers.d/$USERNAME