diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-08-07 05:37:00 +0200 |
|---|---|---|
| committer | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-08-07 20:07:45 +0200 |
| commit | 99de39fc79fa948e1f844faa81206532efabc268 (patch) | |
| tree | 049c8b5dbf6d3a99efa79724d440a7752e273c74 | |
| parent | 5e2919de026aab163f05e2b9440a3bf3563ac4fc (diff) | |
| download | yosys-99de39fc79fa948e1f844faa81206532efabc268.tar.gz yosys-99de39fc79fa948e1f844faa81206532efabc268.tar.bz2 yosys-99de39fc79fa948e1f844faa81206532efabc268.zip | |
dockerfile: use PREFIX instead of cp
| -rw-r--r-- | Dockerfile | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/Dockerfile b/Dockerfile index d21f6dc5b..027514a3b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -31,19 +31,22 @@ RUN apt-get update -qq \ && apt-get autoclean && apt-get clean && apt-get -y autoremove \ && rm -rf /var/lib/apt/lists -COPY . / +COPY . /yosys -RUN make \ +ENV PREFIX /opt/yosys + +RUN cd /yosys \ + && make \ && make install \ - && mkdir dist && cp yosys yosys-abc yosys-config yosys-filterlib yosys-smtbmc dist/ + && make test #--- FROM base -COPY --from=build /dist /opt/yosys +COPY --from=build /opt/yosys /opt/yosys -ENV PATH /opt/yosys:$PATH +ENV PATH /opt/yosys/bin:$PATH RUN useradd -m yosys USER yosys |