diff --git a/docker/lift/dev/Dockerfile b/docker/lift/dev/Dockerfile index 7447ccdd9..b47824089 100644 --- a/docker/lift/dev/Dockerfile +++ b/docker/lift/dev/Dockerfile @@ -14,6 +14,10 @@ RUN sed -e 's/$/ contrib non-free/' -i /etc/apt/sources.list \ g++ \ wget \ apt-transport-https \ + openjfx \ + libboost-dev \ + libboost-program-options-dev \ + libgl1-mesa-dev \ && ( echo "deb https://dl.bintray.com/sbt/debian /" \ | tee -a /etc/apt/sources.list.d/sbt.list) \ && apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 \ @@ -25,4 +29,4 @@ RUN git clone https://github.com/lift-project/lift.git /lift \ && ( cd /lift \ && git submodule init \ && git submodule update \ - && ./buildExecutor.sh ) \ No newline at end of file + && ./buildExecutor.sh ) diff --git a/docs/source/getting-started/installation.rst b/docs/source/getting-started/installation.rst index 4b4a024aa..3a38afe33 100644 --- a/docs/source/getting-started/installation.rst +++ b/docs/source/getting-started/installation.rst @@ -31,7 +31,7 @@ To create and use the *Lift* docker container follow these steps: To build the container image and giving it the name ``lift`` execute the following command from the *Lift* root directory. :: - docker build -t lift docker + docker build -t lift docker/lift/dev 3. Run the *Lift* docker container @@ -65,7 +65,7 @@ To create and use the *Lift* docker container with ``nvidia-docker`` follow thes To build the container image and giving it the name ``lift`` execute the following command from the *Lift* root directory. :: - docker build -t lift nvidia-docker + docker build -t lift docker/lift/dev 3. Run the *Lift* docker container