Skip to content
Snippets Groups Projects
Select Git revision
  • 07be1cb9fe208d46a29b4322259a1f57e2b2b131
  • master default protected
  • hsh_v4.5
  • hsh_v4-4
  • hsh_v4.4
  • hsh_v4.3
  • hsh_v4.1.x
  • hsh_v4.2
  • hsh_v4.1
  • hsh_v3.11
  • hsh_3.10
  • v3.11-r2-hsh
  • v3.11-r2
  • v3.11-r1
  • v3.10-r1
  • v3.9-r1
  • v3.8-r2
  • v3.8-r1
  • v3.7-r1
19 results

version.php

Blame
  • buildimage.sh 578 B
    #/bin/bash
    # arg1: sbcl version
    # arg2: maxima version
    # arg3: stack or moodle version: "stack-XXX" or "moodlev.X"
    # arg4: LIB_PATH
    # arg5: REGISTRY IP
    #
    echo "starting to build image for:"
    echo "sbcl: "$1
    echo "maxima: "$2
    echo $3
    # tag the image
    IMAGENAME=$5"/sbcl"$1"_maxima"$2"_"$3
    # check if the image already exists on the server
    docker pull ${IMAGENAME}
    # build it
    docker build -t ${IMAGENAME} --build-arg MAXIMA_VERSION=$2 --build-arg SBCL_VERSION=$1 --build-arg LIB_PATH=$4 .
    echo ${IMAGENAME}" wurde erfolgreich gebaut."
    # testing?
    # push it
    docker push ${IMAGENAME}