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

Update C extraction Docker file #408

Merged
merged 1 commit into from
Jul 17, 2024
Merged

Update C extraction Docker file #408

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
24 changes: 12 additions & 12 deletions .docker/c/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,12 +4,12 @@
FROM ubuntu:24.04
LABEL maintainer="Franziskus Kiefer <[email protected]>"

ENV SHELL /bin/bash
ENV USER user
ENV LOGNAME $USER
ENV HOME /home/$USER
ENV LANG en_US.UTF-8
ENV LC_ALL $LANG
ENV SHELL=/bin/bash
ENV USER=user
ENV LOGNAME=$USER
ENV HOME=/home/$USER
ENV LANG=en_US.UTF-8
ENV LC_ALL=$LANG
ENV PATH="$HOME/.cargo/bin:${PATH}"

# Install dependencies.
Expand All @@ -24,9 +24,9 @@ COPY --chown=$USER:$USER . $HOME/$USER
ADD install.sh /tmp/install.sh
RUN bash /tmp/install.sh

ENV FSTAR_HOME $HOME/fstar
ENV HACL_HOME $HOME/hacl-star
ENV KRML_HOME $HOME/karamel
ENV EURYDICE_HOME $HOME/eurydice
ENV CHARON_HOME $HOME/charon
ENV PATH "${PATH}:$HOME/fstar/bin:$HOME/z3/bin"
ENV FSTAR_HOME=$HOME/fstar
ENV HACL_HOME=$HOME/hacl-star
ENV KRML_HOME=$HOME/karamel
ENV EURYDICE_HOME=$HOME/eurydice
ENV CHARON_HOME=$HOME/charon
ENV PATH="${PATH}:$HOME/fstar/bin:$HOME/z3/bin"
19 changes: 10 additions & 9 deletions .docker/c/install.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,29 +19,30 @@ unzip z3.zip
rm -rf z3.zip
mv z3-4.8.5-x64-ubuntu-16.04/ z3

curl -L https://github.com/hacl-star/hacl-star/archive/443aed2deccfbee84f928fadc1f594f729c3aad4.zip \
curl -L https://github.com/hacl-star/hacl-star/archive/2a8b61343a1a7232611cb763b0dc3e4dff84d656.zip \
--output hacl-star.zip
unzip hacl-star.zip
rm -rf hacl-star.zip
mv hacl-star-443aed2deccfbee84f928fadc1f594f729c3aad4/ hacl-star
mv hacl-star-2a8b61343a1a7232611cb763b0dc3e4dff84d656/ hacl-star

curl -L https://github.com/AeneasVerif/charon/archive/89cecf5d1074fae7e8007be7f6cdf2f38e9782b1.zip \
curl -L https://github.com/AeneasVerif/charon/archive/3f02eeef60c96793e6ae50391a4c4c8925262dc5.zip \
--output charon.zip
unzip charon.zip
rm -rf charon.zip
mv charon-89cecf5d1074fae7e8007be7f6cdf2f38e9782b1/ charon
mv charon-3f02eeef60c96793e6ae50391a4c4c8925262dc5/ charon

curl -L https://github.com/FStarLang/karamel/archive/08bfa78ae1df5639446e6c5897b07c9823fbf3b0.zip \

curl -L https://github.com/FStarLang/karamel/archive/65aab550cf3ba36d52ae6ad1ad962bb573406395.zip \
--output karamel.zip
unzip karamel.zip
rm -rf karamel.zip
mv karamel-08bfa78ae1df5639446e6c5897b07c9823fbf3b0/ karamel
mv karamel-65aab550cf3ba36d52ae6ad1ad962bb573406395/ karamel

curl -L https://github.com/AeneasVerif/eurydice/archive/7780d2b4c44c7811d02d7e05789b5611fd497480.zip \
curl -L https://github.com/AeneasVerif/eurydice/archive/e888878c640c71e2cd0456ed51d70c9b054470e6.zip \
--output eurydice.zip
unzip eurydice.zip
rm -rf eurydice.zip
mv eurydice-7780d2b4c44c7811d02d7e05789b5611fd497480/ eurydice
mv eurydice-e888878c640c71e2cd0456ed51d70c9b054470e6/ eurydice

echo "export FSTAR_HOME=$HOME/fstar" >>$HOME/.profile
echo "export HACL_HOME=$HOME/hacl-star" >>$HOME/.profile
Expand All @@ -53,7 +54,7 @@ echo "export PATH=\"${PATH}:$HOME/fstar/bin:$HOME/z3/bin\"" >>$HOME/.profile
echo "[[ ! -r /home/$USER/.opam/opam-init/init.sh ]] || source /home/$USER/.opam/opam-init/init.sh > /dev/null 2> /dev/null" >>$HOME/.profile

source $HOME/.profile
opam install --yes ocamlfind visitors menhir ppx_deriving_yojson sedlex wasm fix process pprint zarith yaml easy_logging terminal
opam install --yes ocamlfind visitors menhir ppx_deriving_yojson core_unix sedlex wasm fix process pprint zarith yaml easy_logging terminal
eval $(opam env)

# Build everything
Expand Down
2 changes: 2 additions & 0 deletions .docker/c/setup.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,8 @@ apt-get install -y \
jq \
libgmp-dev \
locales \
pkg-config \
clang-format\
curl
curl -fsSL https://deb.nodesource.com/setup_21.x | bash -
apt-get update
Expand Down
Loading