Skip to content
Snippets Groups Projects
Commit 8520402f authored by martin heide's avatar martin heide
Browse files

pool repo nicht mehr notwendig

parent 39167f2a
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
gomaxima/Dockerfile
+ 1
− 1
View file @ 8520402f
......@@ -47,7 +47,7 @@ RUN cd ${MAXIMAPOOL} \
# deinstallieren: wget, curl, python3, make, bzip2,
COPY ${MAXIMA_LOCAL_PATH} ${STACK_MAXIMA}
COPY stack_util_maximapool maximapool-docker/assets/process.conf.template maximapool-docker/assets/optimize.mac maximapool-docker/assets/maximalocal.mac.template ${MAXIMAPOOL}/
COPY maximapool-docker/assets/process.conf.template maximapool-docker/assets/optimize.mac maximapool-docker/assets/maximalocal.mac.template ${MAXIMAPOOL}/
RUN VER=$(grep stackmaximaversion ${STACK_MAXIMA}/stackmaxima.mac | grep -oP "\d+") \
&& mkdir -p ${MAXIMAPOOL}/${VER} \
......
stack_util_maximapool @ 8cfdfee9
Subproject commit 8cfdfee9ec302f2705a93468053039322b7c86af
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment