Commit 51212377 authored by Hans Vrapi's avatar Hans Vrapi
Browse files

Delete Dockerfile

parent 957e6f55
FROM storm_bn:2
#RUN apt install sudo
#RUN echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections && sudo apt-get install -y -q
WORKDIR /opt
RUN rm -r bn-mc-transformer
COPY bn-mc-transformer /opt
#build bn-mc-tranformer
RUN cd bn-mc-transformer && rm -r build && mkdir build && cd build && cmake .. && make
#done
#RUN pip install jpype1
#RUN pip install pandas
#RUN sudo apt install -y chromium-chromedriver
#RUN pip install sympy #needed for plots
#COPY ./ /opt
#need to run still
#RUN git clone https://github.com/Z3Prover/z3.git && cd z3 && python3 scripts/mk_make.py && cd build && make && sudo make install
#RUN git clone https://github.com/moves-rwth/prophesy.git && cd prophesy && python3 setup.py develop
#install latex packages
#RUN apt-get update -y && sudo apt-get install -y texlive-latex-base && sudo apt-get install -y texlive-fonts-recommended && sudo apt-get install -y texlive-latex-extra
#RUN sudo apt-get install -y texlive-science
#RUN apt install texlive-luatex
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment