This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

43 lines
1.5 KiB
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

# Use an official Python runtime as a parent image
FROM ubuntu:18.04
# Update Software repository
RUN apt-get update
# Set the working directory to /app
# Copy the current directory contents into the container at /app
COPY . /app
# Install any needed packages specified in requirements.txt
RUN apt install gcc g++ libreadline-dev libgmp-dev git \
python3-dev python3-pip python3-notebook python3-wheel python3-setuptools\
libgecode-dev r-cran-rcpp cmake libbdd-dev libxml2-dev \
bison flex openjdk-11-jdk-headless libraptor2-dev swig
#RUN git clone ssh://
RUN git clone
RUN git clone
RUN git clone
RUN pushd cudd; ./configure --prefix=/usr --enable-shared --enable-obj --enable-dddmp; make -j install; popd
RUN pushd doxygen-yap; mkdir -p build; cd build; cmake .. -DCMAKE_INSTALL_PREFIX:PATH=/usr && cmake --build . --target install; popd
RUN pushd yap; mkdir -p build; cd build; cmake .. -DCMAKE_INSTALL_PREFIX:PATH=/usr && cmake --build . --target install; pushd paackages/real; R CMD INSTALL yap4r; popd; popd
RUN R CMD INSTALL packages/real/yap4r
# Make port 80 available to the world outside this container
# Define environment variable
# Run when the container launches
CMD ["python", ""]
This Dockerfile refers to a couple of files we havent created yet, namely and requirements.txt. Lets create those next.