Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Updated Docker image #123

Closed
wants to merge 8 commits into from
Closed

Updated Docker image #123

Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
433b939
Update Dockerfile
SimplisticCode Sep 29, 2022
27fdac5
Merge branch '121-write-the-final-report' into dockerImage
SimplisticCode Sep 29, 2022
bad62c0
Update Dockerfile
Oct 6, 2022
c5c0e32
Removed bad character
Oct 6, 2022
96accf8
Revert "Removed bad character"
Oct 6, 2022
1aa0c26
Updated docker image
SimplisticCode Nov 2, 2022
9853646
Ongoing work updating the Dockerfile for the public release.
kiniry Jan 24, 2023
1d43be6
Merge branch 'develop' into dockerImage
podhrmic Jan 24, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
# limitations under the License.

# Base
FROM ubuntu:22.04 as base
FROM ubuntu:20.04 as base
ARG DEBIAN_FRONTEND=noninteractive
RUN mkdir /tools
WORKDIR /
Expand Down Expand Up @@ -319,12 +319,12 @@ RUN echo "${TOOL} ${REPO} ${TAG}" >> ${VERSION_LOG}
# RDE Refinement Finder (aka the DocumentationEnricher)
ARG TOOL=der
ARG TAG=0.1.5
ARG REPO=https://github.com/GaloisInc/RDE_RF/releases/tag/v.0.1.5
ARG REPO=https://github.com/GaloisInc/RDE_RF
WORKDIR /tmp
RUN wget ${REPO}/${TOOL}-${TAG}.zip
RUN wget ${REPO}/releases/download/v.${TAG}/${TOOL}-${TAG}.zip
RUN unzip ${TOOL}-${TAG}.zip
RUN mv ${TOOL}-${TAG} /tools/${TOOL}
ENV PATH="/tools/${TOOL}/bin:${PATH}"
RUN mv ${TOOL}-${TAG} /tools/${TOOL} && rm ${TOOL}-${TAG}.zip
ENV PATH="/tools/${TOOL}:${PATH}"
RUN echo "${TOOL} ${REPO} ${TAG}" >> ${VERSION_LOG}

# Runner
Expand Down