Skip to content

Commit 3d0686c

Browse files
committed
Simplified, improved, removed synlig (at least temporarily)
1 parent 1e93ae8 commit 3d0686c

File tree

1 file changed

+20
-75
lines changed

1 file changed

+20
-75
lines changed

recipes/synthesis

Lines changed: 20 additions & 75 deletions
Original file line numberDiff line numberDiff line change
@@ -1,107 +1,52 @@
1-
FROM ubuntu:latest
1+
FROM ubuntu:latest AS build
2+
3+
WORKDIR /root
24

35
RUN apt update -qq \
46
&& DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends \
5-
### GHDL
7+
# Common
68
build-essential \
79
ca-certificates \
810
git \
9-
gnat \
10-
libgnat-12 \
1111
zlib1g-dev \
12-
### Yosys
13-
build-essential \
14-
ca-certificates \
12+
# GHDL
13+
gnat \
14+
# Yosys
1515
clang \
1616
bison \
1717
flex \
1818
libreadline-dev \
19-
gawk \
2019
tcl-dev \
2120
libffi-dev \
22-
git \
23-
graphviz \
24-
xdot \
2521
pkg-config \
2622
python3 \
27-
libboost-system-dev \
28-
libboost-python-dev \
29-
libboost-filesystem-dev \
30-
zlib1g-dev \
31-
### synlig
32-
ant \
33-
bison \
34-
build-essential \
35-
cmake \
36-
default-jre \
37-
flex \
38-
g++-11 \
39-
gcc-11 \
40-
git \
41-
google-perftools \
42-
libfl-dev \
43-
libgoogle-perftools-dev \
44-
libffi-dev \
45-
libreadline-dev \
46-
pkg-config \
47-
python3 \
48-
python3-dev \
49-
python3-orderedmultidict \
50-
python3-pip \
51-
swig \
52-
tcl-dev \
53-
tclsh \
54-
uuid \
55-
uuid-dev \
56-
wget \
57-
&& apt clean && rm -rf /var/lib/apt/lists/* \
58-
&& update-ca-certificates
23+
&& apt autoclean && apt clean && apt -y autoremove \
24+
&& rm -rf /var/lib/apt/lists/*
5925

60-
###############################################################################
26+
#
6127
# GHDL
62-
###############################################################################
63-
64-
WORKDIR /root
28+
#
6529

6630
RUN git clone --depth 1 https://github.com/ghdl/ghdl \
6731
&& mkdir ghdl/build && cd ghdl/build \
6832
&& ../configure --prefix=/usr/local \
69-
&& make && make install \
33+
&& make -j$(nproc) && make install \
7034
&& cd /root && rm -fr ghdl
7135

72-
###############################################################################
36+
#
7337
# Yosys
74-
###############################################################################
75-
76-
WORKDIR /root
38+
#
7739

7840
RUN git clone --depth 1 https://github.com/YosysHQ/yosys \
79-
&& cd yosys \
80-
&& make && make install \
41+
&& cd yosys && git submodule update --init \
42+
&& make -j$(nproc) && make install \
8143
&& cd /root && rm -fr yosys
8244

83-
###############################################################################
45+
#
8446
# ghdl-yosys-plugin
85-
###############################################################################
86-
87-
WORKDIR /root
47+
#
8848

8949
RUN git clone --depth 1 https://github.com/ghdl/ghdl-yosys-plugin.git \
90-
&& cd ghdl-yosys-plugin \
91-
&& make && make install \
50+
&& cd ghdl-yosys-plugin && git submodule update --init \
51+
&& make -j$(nproc) && make install \
9252
&& cd /root && rm -fr ghdl-yosys-plugin
93-
94-
###############################################################################
95-
# synlig
96-
###############################################################################
97-
98-
WORKDIR /root
99-
100-
RUN git clone --depth 1 https://github.com/chipsalliance/synlig \
101-
&& cd synlig \
102-
&& git submodule sync \
103-
&& git submodule update --init --recursive third_party/surelog \
104-
&& git submodule update --init --recursive third_party/yosys \
105-
&& make install \
106-
&& cp /root/synlig/out/current/share/yosys/plugins/systemverilog.so /usr/local/share/yosys/plugins \
107-
&& cd /root && rm -fr synlig

0 commit comments

Comments
 (0)