Skip to content
Snippets Groups Projects
Commit bc16be49 authored by Gaël de Chalendar's avatar Gaël de Chalendar
Browse files

Define necessary environment variables

parent daea5824
Branches master
No related tags found
Loading
......@@ -42,7 +42,11 @@ RUN cd frama-c-20.0-Calcium && ./configure --prefix=/root/.opam/4.08.1 && make &
COPY . /pkm-api
WORKDIR /pkm-api
# install doc-to-asfm
RUN cd doc/doc_to_asfm && rm -fr build && mkdir build && cd build && cmake .. && make -j 4 && cd ../../..
RUN cd doc/doc_to_asfm && rm -fr build && mkdir build && cd build && cmake .. && make -j 4
ENV API=/pkm-api
ENV PKMHOST=localhost
ENV DB_ROOT=mongodb-projects
CMD ["mongod -dbpath /mongodb-projects"]
ENTRYPOINT ["/bin/bash", "-l", "-c"]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment