File: Dockerfile

package info (click to toggle)
cvise 2.12.0-2
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 3,772 kB
  • sloc: cpp: 26,284; python: 4,807; ansic: 1,215; lex: 441; makefile: 42
file content (10 lines) | stat: -rw-r--r-- 645 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
FROM ubuntu:rolling
RUN apt-get update
RUN apt-get -qq install -y gcc g++ wget lsb-release wget software-properties-common gnupg git cmake flex python3-pebble python3-psutil python3-chardet python3-pytest vim unifdef
RUN wget https://apt.llvm.org/llvm.sh
RUN chmod +x llvm.sh
RUN ./llvm.sh 20
RUN apt-get install -y bolt-20 clang-20 libclang-common-20-dev libclang-20-dev mlir-20-tools llvm-20-tools libclang-common-20-dev libclang-20-dev libclang1-20 clang-format-20 python3-clang-20 clangd-20 clang-tidy-20 libomp-20-dev
RUN touch /usr/lib/llvm-20/lib/libLibcTableGenUtil.a
RUN mkdir -p /tmp/cvise/build-docker
WORKDIR /tmp/cvise/build-docker