-
Notifications
You must be signed in to change notification settings - Fork 31
/
ci.sh
executable file
·146 lines (102 loc) · 2.65 KB
/
ci.sh
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
#!/bin/sh
set -e
cd "$(dirname $0)"
. ./utils.sh
#--
do_ghdl () {
gstart "[Build] tmp" "$ANSI_MAGENTA"
docker build -t tmp - <<-EOF
FROM ghdl/build:bullseye-mcode AS build
RUN apt-get update -qq && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
ca-certificates \
git \
&& update-ca-certificates \
&& git clone https://github.com/ghdl/ghdl \
&& cd ghdl \
&& ./configure --enable-libghdl --enable-synth \
&& make all \
&& make DESTDIR=/opt/ghdl install
FROM scratch
COPY --from=build /opt/ghdl /ghdl
EOF
export GHDL_PKG_IMAGE=tmp
gend
}
#--
do_plugin () {
# To build latest GHDL from sources, uncomment the following line
#do_ghdl
gstart "[Build] ghdl/synth:beta" "$ANSI_MAGENTA"
docker build -t ghdl/synth:beta . -f- <<-EOF
ARG REGISTRY='gcr.io/hdl-containers/debian/bullseye'
#---
# WORKAROUND: this is required because 'COPY --from' does not support ARGs
FROM \$REGISTRY/pkg/ghdl AS pkg-ghdl
FROM \$REGISTRY/yosys AS base
RUN apt-get update -qq \
&& DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
libgnat-9 \
&& apt-get autoclean && apt-get clean && apt-get -y autoremove \
&& rm -rf /var/lib/apt/lists
COPY --from=${GHDL_PKG_IMAGE:-pkg-ghdl} /ghdl /
#---
FROM base AS build
COPY . /ghdlsynth
RUN cd /ghdlsynth \
&& make \
&& cp ghdl.so /tmp/ghdl_yosys.so
#---
FROM base
COPY --from=build /tmp/ghdl_yosys.so /usr/local/lib/
RUN yosys-config --exec mkdir -p --datdir/plugins \
&& yosys-config --exec ln -s /usr/local/lib/ghdl_yosys.so --datdir/plugins/ghdl.so
EOF
gend
}
#---
do_formal () {
gstart "[Build] ghdl/synth:formal" "$ANSI_MAGENTA"
docker build -t ghdl/synth:formal . -f- <<-EOF
ARG REGISTRY='gcr.io/hdl-containers/debian/bullseye'
#--
# WORKAROUND: this is required because 'COPY --from' does not support ARGs
FROM \$REGISTRY/pkg/z3 AS pkg-z3
FROM \$REGISTRY/pkg/symbiyosys AS pkg-symbiyosys
FROM ghdl/synth:beta
COPY --from=pkg-z3 /z3 /
COPY --from=pkg-symbiyosys /symbiyosys /
RUN apt-get update -qq \
&& DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
python3 \
python3-pip \
&& apt-get autoclean && apt-get clean && apt-get -y autoremove \
&& rm -rf /var/lib/apt/lists/*\
&& python3 -m pip install click --progress-bar off
EOF
gend
}
#---
do_test () {
printf "${ANSI_MAGENTA}[Test] testsuite ${ANSI_NOCOLOR}\n"
docker run --rm -t -e CI -v /$(pwd)://src -w //src -e YOSYS='yosys -m ghdl' ghdl/synth:formal bash -c "$(cat <<EOF
./testsuite/testsuite.sh
EOF
)"
}
#---
case $1 in
plugin)
do_plugin
;;
formal)
do_plugin
do_formal
;;
test)
do_test
;;
*)
do_plugin
do_formal
do_test
esac