Skip to content
This repository has been archived by the owner on Feb 2, 2022. It is now read-only.

Add cryptol recipe #171

Closed
wants to merge 2 commits into from
Closed

Add cryptol recipe #171

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
39ae6e5
Updated node version to v8 LTS
zacharysang Mar 15, 2018
f6f9bf3
Added recipe for cryptol
zacharysang Mar 25, 2018
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
4 changes: 2 additions & 2 deletions recipes/node/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,9 +17,9 @@ RUN sudo apt-get update && \
sudo apt-get -y clean && \
sudo rm -rf /var/lib/apt/lists/*

RUN wget -qO- https://deb.nodesource.com/setup_7.x | sudo -E bash -
RUN wget -qO- https://deb.nodesource.com/setup_8.x | sudo -E bash -
RUN sudo apt update && sudo apt -y install nodejs

EXPOSE 1337 3000 4200 5000 9000 8003
RUN sudo npm install --unsafe-perm -g gulp bower grunt grunt-cli yeoman-generator yo generator-angular generator-karma generator-webapp
RUN sudo npm install --unsafe-perm -g yarn gulp bower grunt grunt-cli yeoman-generator yo generator-angular generator-karma generator-webapp
LABEL che:server:8003:ref=angular che:server:8003:protocol=http che:server:3000:ref=node-3000 che:server:3000:protocol=http che:server:9000:ref=node-9000 che:server:9000:protocol=http
36 changes: 36 additions & 0 deletions recipes/ubuntu_cryptol/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
FROM eclipse/stack-base:ubuntu
#FROM ubuntu

# Install dependencies (remove: curl, unzip)
RUN sudo apt-get update \
&& sudo apt-get install -y \
curl \
unzip \
g++ \
make \
libreadline-dev \
haskell-platform \
&& sudo apt-get clean

WORKDIR /home/user

# Install cryptol
RUN curl -LO https://github.com/GaloisInc/cryptol/releases/download/2.5.0/cryptol-2.5.0-Ubuntu1404-64.tar.gz \
&& tar -xzf cryptol-2.5.0-Ubuntu1404-64.tar.gz \
&& sudo ln -s /home/user/cryptol-2.5.0-Ubuntu14.04-64/bin/cryptol /usr/local/bin/cryptol

# Install related packages (Eg: z3, abc provers)
RUN curl -LO https://github.com/Z3Prover/z3/releases/download/z3-4.6.0/z3-4.6.0-x64-ubuntu-16.04.zip \
&& unzip z3-4.6.0-x64-ubuntu-16.04.zip \
&& sudo ln -s /home/user/z3-4.6.0-x64-ubuntu-16.04/bin/z3 /usr/local/bin/z3

RUN curl -LO https://bitbucket.org/alanmi/abc/get/77d52065fd97.zip \
&& unzip 77d52065fd97.zip \
&& rm 77d52065fd97.zip \
&& cd alanmi-abc-77d52065fd97\
&& make \
&& sudo ln -s /home/user/alanmi-abc-77d52065fd97/abc /usr/local/bin/abc

WORKDIR /projects
#ENV ABC_HOME=/home/user/alanmi-abc-77d52065fd97
#ENV PATH=$ABC_HOME:$PATH