Loading .jenkins.sh +4 −1 Original line number Diff line number Diff line #!/bin/bash docker build --tag titan-docker . echo "Building titan:binaries" cd from-binaries docker build --tag titan-bin . from-binaries/Dockerfile 0 → 100644 +36 −0 Original line number Diff line number Diff line # Copyright ETSI 2018 # See: https://forge.etsi.org/etsi-forge-copyright-statement.txt FROM centos:7 MAINTAINER ETSI-CTI LABEL description="Titan Docker Image" ENV TERM=linux ENV HOSTNAME docker-titan ENV TITAN_URL=https://www.eclipse.org/downloads/download.php?file=/titan/ttcn3-6.3.pl0-linux64-gcc4.4-centos6.tgz\&r=1 ENV TITAN_ARCHIVE=ttcn3-6.3.pl0-linux64-gcc4.4-centos6.tgz #RUN apk update \ # && apk add ca-certificates wget \ # && update-ca-certificates RUN yum update RUN yum install -y wget RUN wget $TITAN_URL -O $TITAN_ARCHIVE RUN mkdir /usr/share/ttcn3 RUN tar xzf $TITAN_ARCHIVE -C /usr/share/ttcn3 RUN rm $TITAN_ARCHIVE RUN echo "export TTCN3_DIR=/usr/share/ttcn3" >> /etc/profile.d/titanenv.sh RUN echo "export PATH=$PATH:/usr/share/ttcn3/bin" >> /etc/profile.d/titanenv.sh RUN echo "docker-titan" > /etc/hostname RUN source /etc/profile.d/titanenv.sh && ttcn3_compiler -v # That's all Floks Dockerfile→from-sources/Dockerfile +1 −3 Original line number Diff line number Diff line Loading @@ -66,8 +66,6 @@ RUN cd /home/root \ RUN . /home/root/devenv.bash # RUN ttcn3_compiler -v CMD bash RUN ttcn3_compiler -v # That's all Floks from-sources/devenv.bash.ubuntu 0 → 100644 +69 −0 Original line number Diff line number Diff line #!/bin/bash # Turn on debug mode #set -vx set -e # Colors and Prompt #export PS1="\w\$ " #export PS1="\D{%Y-%m-%d %H:%M:%S} \w\n\$ " export EDITOR=emacs set -o emacs export $HOME="$TITAN_HOME" # Home working directories export HOME_FRAMEWORKS=${HOME}/frameworks export HOME_LIB=${HOME}/lib export HOME_BIN=${HOME}/bin export HOME_ETC=${HOME}/etc export HOME_TMP=${HOME}/tmp export HOME_DOCS=${HOME}/docs # Home common include directory export HOME_INC=${HOME}/include # Update PATH environment variable export PATH=${HOME_BIN}:${PATH} echo "LD_LIBRARY_PATH: ${LD_LIBRARY_PATH}" # Update LD_LIBRARY_PATH environment variable #if [ "${LD_LIBRARY_PATH}" == "" ] #then # export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib #else # export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:${LD_LIBRARY_PATH} #fi # Add JAVA support export JAVA_VERSION=1.8.0_92 export JAVA_JDK=jdk${JAVA_VERSION} if [ -d "${HOME_FRAMEWORKS}/${JAVA_JDK}" ] then export JAVA_HOME=${HOME_FRAMEWORKS}/${JAVA_JDK}/bin else unset JAVA_VERSION unset JAVA_JDK fi # Add TITAN support export TOP=${HOME_FRAMEWORKS}/titan/titan.core export TTCN3_DIR=/usr/share/titan if [ -d ${TTCN3_DIR} ] then export TTCN3_BROWSER=mozilla export PATH=${TTCN3_DIR}/bin:${PATH} export LD_LIBRARY_PATH=${TTCN3_DIR}/lib:${LD_LIBRARY_PATH} export MANPATH=${TTCN3_DIR}/man:${MANPATH} export TTCN3_LICENSE_FILE=${TTCN3_DIR}/etc/license/license.dat export PATH_DEV_TTCN=${HOME}/dev/ttcn3 # ITS support export PATH_DEV_ITS=${HOME}/TriesAndDelete/etsi_its # Emergency Communication support export PATH_DEV_EMCOM=${HOME}/TriesAndDelete/etsi_emcom fi export BROWSER=netsurf scripts/build_titan.bash→from-sources/scripts/build_titan.bash +2 −0 Original line number Diff line number Diff line Loading @@ -16,6 +16,8 @@ fi CURDIR=`pwd` TITAN_DIR=${TOP}/../titan echo "TITAN_DIR: ${TITAN_DIR}" # Move to the right directory if [ ! -d ${TITAN_DIR} ] then Loading Loading
.jenkins.sh +4 −1 Original line number Diff line number Diff line #!/bin/bash docker build --tag titan-docker . echo "Building titan:binaries" cd from-binaries docker build --tag titan-bin .
from-binaries/Dockerfile 0 → 100644 +36 −0 Original line number Diff line number Diff line # Copyright ETSI 2018 # See: https://forge.etsi.org/etsi-forge-copyright-statement.txt FROM centos:7 MAINTAINER ETSI-CTI LABEL description="Titan Docker Image" ENV TERM=linux ENV HOSTNAME docker-titan ENV TITAN_URL=https://www.eclipse.org/downloads/download.php?file=/titan/ttcn3-6.3.pl0-linux64-gcc4.4-centos6.tgz\&r=1 ENV TITAN_ARCHIVE=ttcn3-6.3.pl0-linux64-gcc4.4-centos6.tgz #RUN apk update \ # && apk add ca-certificates wget \ # && update-ca-certificates RUN yum update RUN yum install -y wget RUN wget $TITAN_URL -O $TITAN_ARCHIVE RUN mkdir /usr/share/ttcn3 RUN tar xzf $TITAN_ARCHIVE -C /usr/share/ttcn3 RUN rm $TITAN_ARCHIVE RUN echo "export TTCN3_DIR=/usr/share/ttcn3" >> /etc/profile.d/titanenv.sh RUN echo "export PATH=$PATH:/usr/share/ttcn3/bin" >> /etc/profile.d/titanenv.sh RUN echo "docker-titan" > /etc/hostname RUN source /etc/profile.d/titanenv.sh && ttcn3_compiler -v # That's all Floks
Dockerfile→from-sources/Dockerfile +1 −3 Original line number Diff line number Diff line Loading @@ -66,8 +66,6 @@ RUN cd /home/root \ RUN . /home/root/devenv.bash # RUN ttcn3_compiler -v CMD bash RUN ttcn3_compiler -v # That's all Floks
from-sources/devenv.bash.ubuntu 0 → 100644 +69 −0 Original line number Diff line number Diff line #!/bin/bash # Turn on debug mode #set -vx set -e # Colors and Prompt #export PS1="\w\$ " #export PS1="\D{%Y-%m-%d %H:%M:%S} \w\n\$ " export EDITOR=emacs set -o emacs export $HOME="$TITAN_HOME" # Home working directories export HOME_FRAMEWORKS=${HOME}/frameworks export HOME_LIB=${HOME}/lib export HOME_BIN=${HOME}/bin export HOME_ETC=${HOME}/etc export HOME_TMP=${HOME}/tmp export HOME_DOCS=${HOME}/docs # Home common include directory export HOME_INC=${HOME}/include # Update PATH environment variable export PATH=${HOME_BIN}:${PATH} echo "LD_LIBRARY_PATH: ${LD_LIBRARY_PATH}" # Update LD_LIBRARY_PATH environment variable #if [ "${LD_LIBRARY_PATH}" == "" ] #then # export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib #else # export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:${LD_LIBRARY_PATH} #fi # Add JAVA support export JAVA_VERSION=1.8.0_92 export JAVA_JDK=jdk${JAVA_VERSION} if [ -d "${HOME_FRAMEWORKS}/${JAVA_JDK}" ] then export JAVA_HOME=${HOME_FRAMEWORKS}/${JAVA_JDK}/bin else unset JAVA_VERSION unset JAVA_JDK fi # Add TITAN support export TOP=${HOME_FRAMEWORKS}/titan/titan.core export TTCN3_DIR=/usr/share/titan if [ -d ${TTCN3_DIR} ] then export TTCN3_BROWSER=mozilla export PATH=${TTCN3_DIR}/bin:${PATH} export LD_LIBRARY_PATH=${TTCN3_DIR}/lib:${LD_LIBRARY_PATH} export MANPATH=${TTCN3_DIR}/man:${MANPATH} export TTCN3_LICENSE_FILE=${TTCN3_DIR}/etc/license/license.dat export PATH_DEV_TTCN=${HOME}/dev/ttcn3 # ITS support export PATH_DEV_ITS=${HOME}/TriesAndDelete/etsi_its # Emergency Communication support export PATH_DEV_EMCOM=${HOME}/TriesAndDelete/etsi_emcom fi export BROWSER=netsurf
scripts/build_titan.bash→from-sources/scripts/build_titan.bash +2 −0 Original line number Diff line number Diff line Loading @@ -16,6 +16,8 @@ fi CURDIR=`pwd` TITAN_DIR=${TOP}/../titan echo "TITAN_DIR: ${TITAN_DIR}" # Move to the right directory if [ ! -d ${TITAN_DIR} ] then Loading