forked from eliyaoo32/DepSynt
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Dockerfile
31 lines (26 loc) · 881 Bytes
/
Dockerfile
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
# Preparing the image
FROM debian:latest
WORKDIR /usr/src/app
RUN apt-get update && apt-get install -y \
g++ \
cmake \
libboost-all-dev \
nlohmann-json3-dev \
wget \
gnupg2
# Install spot
RUN wget -q -O - https://www.lrde.epita.fr/repo/debian.gpg | apt-key add -
RUN echo 'deb http://www.lrde.epita.fr/repo/debian/ stable/' >> /etc/apt/sources.list
RUN apt-get update && apt-get install -y \
spot=2.11.4.0-1 libspot-dev=2.11.4.0-1 \
libspot0=2.11.4.0-1 libspotltsmin0=2.11.4.0-1 libspotgen0=2.11.4.0-1 \
libbddx0=2.11.4.0-1 libbddx-dev=2.11.4.0-1
# Build ABC
COPY ./libs/abc /usr/src/app/libs/abc
RUN cd ./libs/abc && make ABC_USE_NO_READLINE=1 ABC_USE_PIC=1 libabc.so
ENV LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:/usr/src/app/libs/abc"
# Copy project
COPY . .
# Create a build directory
RUN cmake . && make synthesis
ENTRYPOINT ["./synthesis"]