This commit is contained in:
Vítor Santos Costa 2019-04-05 10:53:03 +01:00
parent d72770a18c
commit 07c8c6d7b1
1 changed files with 42 additions and 0 deletions

docker/Dockerfile Normal file
View File

@ -0,0 +1,42 @@
# 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.