A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://github.com/GaloisInc/reopt/commit/109f4d5c501308cb9ed252b7edc7bfac01bf02dc below:

Merge pull request #66 from GaloisInc/jhx/docker · GaloisInc/reopt@109f4d5 · GitHub

File tree Expand file treeCollapse file tree 8 files changed

+8

-8

lines changed

Filter options

Expand file treeCollapse file tree 8 files changed

+8

-8

lines changed Original file line number Diff line number Diff line change

@@ -3,7 +3,7 @@ FROM ubuntu:focal

 3 3

RUN apt-get update \

 4 4

&& DEBIAN_FRONTEND=noninteractive TZ=UTC \

 5 5

apt-get install -y --no-install-recommends \

 6 -

llvm-8 clang-8 lld binutils make python \

 6 +

llvm-8 clang-8 lld binutils cmake make openssh-client python git \

 7 7

&& rm -rf /var/lib/apt/lists/*

 8 8

RUN ln -s ../../lib/llvm-8/bin/opt /usr/local/bin

 9 9

RUN ln -s ../../lib/llvm-8/bin/llc /usr/local/bin

You can’t perform that action at this time.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4