Dockerfile - sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

index : sail-riscv.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/Dockerfile

blob: ed27b8c69ddc03dfefaef916123af31ee834b011 (plain)

FROM ocaml/opam
USER root
RUN DEBIAN_FRONTEND=noninteractive apt-get -y install zlib1g-dev pkg-config libgmp-dev z3
USER opam
RUN opam install sail