Public Repository

Last pushed: a year ago
Short Description
This is a functional container running an Urbi 3.0 server.
Full Description

Running

 docker run --net host urbiforge/urbi
 rlwrap nc localhost 54000

Dockerfile

 FROM debian:7

 RUN DEBIAN_FRONTEND=noninteractive apt-get update && \
     DEBIAN_FRONTEND=noninteractive apt-get install -q -y \
     build-essential git-core vim autoconf mlocate wget \
     python python-pip libboost-all-dev default-jdk \
     libssl-dev swig texlive texlive-latex-extra tex4ht \
     rlwrap netcat && \
     rm -rf /tmp/* /var/tmp/*

 RUN mkdir /home/urbi
 WORKDIR /home/urbi

 RUN wget https://cmake.org/files/v3.5/cmake-3.5.2-Linux-x86_64.tar.gz
 RUN tar xzvf cmake-3.5.2-Linux-x86_64.tar.gz -C /usr/local/ --strip 1 && rm -f cmake-3.5.2-Linux-x86_64.tar.gz

 RUN pip install qibuild

 RUN qisrc init  && \
     qisrc add https://github.com/urbiforge/libjpeg.git && \
     qisrc add https://github.com/urbiforge/gtest.git  &&  \
     qisrc add https://github.com/urbiforge/libport.git && \
     qisrc add https://github.com/urbiforge/urbi.git

 RUN qibuild configure --release --with-debug-info urbi && \
     qibuild make urbi && qibuild install urbi /usr/local

 WORKDIR /home/urbi/urbiforge/urbi
 RUN ./doc.sh

 EXPOSE 54000
 ENTRYPOINT ["urbi-launch","--start","--","--port","54000"]

'''

Docker Pull Command
Owner
urbiforge

Comments (0)