Commit da0da9ba authored by YannGarcia's avatar YannGarcia
Browse files

Enhance port exposure for virtualization of TITAN compiler

parent 6d315783

README.md

+8 −1
Original line number Diff line number Diff line
@@ -99,7 +99,14 @@ To retrieve the list of the available test cases, execute the following command: 
$ ./docker-run.sh list

```



To execute the CISE Test Suite, edit and update the file etc/AtsCise.cfg and execute the following command:

Before to execute the CISE Test Suite, prepare, edit and update the configuration file:



```sh

$ ln -sf ../../etc/AtsCise/AtsCise_Cnit.cf_ ../../etc/AtsCise/AtsCise.cfg

$ vi ../../etc/AtsCise/AtsCise.cfg # To update it

```



To execute the CISE Test Suite, execute the following command:



```sh

$ ./docker-run.sh run

virtualization/docker/Dockerfile

+1 −1
Original line number Diff line number Diff line
@@ -46,4 +46,4 @@ ENV ATS=AtsCise 


EXPOSE 30181/tcp



ENTRYPOINT /home/yann/dev/cise/docker-entrypoint.sh
 
ENTRYPOINT /home/yann/dev/cise/virtualization/docker/docker-entrypoint.sh

virtualization/docker/docker-entrypoint.sh

+3 −3
Original line number Diff line number Diff line
@@ -17,16 +17,16 @@ fi 


case "$1" in

  build)

    export ATS=AtsCise && make

    ATS=AtsCise && cd ${GEN_DIR} && make

    ;;

  clean)

    export ATS=AtsCise && make clean

    ATS=AtsCise && cd ${GEN_DIR} && make clean

    ;;

  list)

    ${cli} -l

    ;;

  rebuild)

    export ATS=AtsCise && rm -fr ./bin ./build ; make

    ATS=AtsCise && cd ${GEN_DIR} && rm -fr ./bin ./build ; make

    ;;

  run)

    ATS=AtsCise && cd ${GEN_DIR}/scripts && ./run_all.bash

virtualization/docker/docker-run.sh

+3 −6
Original line number Diff line number Diff line
@@ -3,14 +3,11 @@ set -exo pipefail 


cd "$(dirname ${BASH_SOURCE})"



# !! The -u option below needs to be defined so we don't write to a user's bound ~/.m2/repository as root.

# !! but using this also means we either need to setup a user with the same id, or we execute without a username and home directory.

# !! This means we can't bind the .m2 directory to any user's directory (like /root/.m2).

# !! We _must_ define $MAVEN_CONFIG explicitly as a location that is not /root/.m2; the user executing this may not have access to the container's user's directory.

docker run --rm -it \

        -w /home/yann/dev/cise \

        -e GEN_DIR=/home/yann/dev/cise \

        -u "$(id -u):$(id -g)" \

        -v "${PWD}:/home/yann/dev/cise" \

        --entrypoint /home/yann/dev/cise/docker-entrypoint.sh \

        -v "${PWD}/../..:/home/yann/dev/cise" \

        -p 0.0.0.0:30181:30181 \

        --entrypoint /home/yann/dev/cise/virtualization/docker/docker-entrypoint.sh \

        alpine-cise:latest "$@"