https://github.com/lip6/cosy
Tip revision: 60a7669791aa5ef46225574a7b61518b0a557208 authored by sbaarir on 23 March 2021, 16:02:32 UTC
Update README.md
Update README.md
Tip revision: 60a7669
Dockerfile
FROM gcc
WORKDIR cosy
RUN apt-get update \
&& apt-get install -y \
cmake
COPY Makefile Makefile
COPY adapters adapters
COPY include include
COPY makefiles makefiles
COPY scripts scripts
COPY solvers solvers
COPY src src
COPY tests tests
RUN make