blob: b53daa36b4d83f627b210292a8add90f0950b9e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
FROM ubuntu:18.04 as build
ADD .github/workflows/install_dependencies_ubuntu.sh /build/
RUN DEBIAN_FRONTEND=noninteractive \
/build/install_dependencies_ubuntu.sh
ADD . /build/
RUN make -C /build -j2 GHCJOBS=2 GHCRTSFLAGS='+RTS -M5G -A128m -RTS'
FROM ubuntu:18.04
RUN apt-get update \
&& DEBIAN_FRONTEND=noninteractive \
apt-get install -y \
build-essential tcl iverilog \
&& rm -rf /var/lib/apt/lists/*
COPY --from=build /build/inst /opt/bluespec/
ENV PATH /opt/bluespec/bin:$PATH
|
