FROM gapsystem/gap-docker-master
MAINTAINER Kamal Saleh <kamal.saleh@uni-siegen.de>
USER root
RUN apt-get update && apt-get install python3-pip -y
RUN cd /home/gap/inst/gap-master/pkg \
&& git clone https://github.com/kamalsaleh/CddInterface \
&& cd CddInterface \
&& ./install.sh ../.. \
&& cd .. \
&& git clone https://github.com/kamalsaleh/NConvex
USER gap
WORKDIR $HOME/inst/gap-master/pkg/CddInterface
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
