diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 69a96b81e..648333653 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -220,7 +220,6 @@ docker-access18: script: - mkdir docker-build - cd docker-build - - echo "$DOCKER_HUB_USER" - echo -e "FROM phusion/baseimage:0.10.0\nMAINTAINER carles.fernandez@cttc.es\nCMD [\"/sbin/my_init\"]\nWORKDIR /home/src\nRUN apt-get update && apt-get install -y build-essential cmake libarmadillo-dev libblas-dev libboost-chrono-dev libboost-dev libboost-date-time-dev libboost-filesystem-dev libboost-serialization-dev libboost-system-dev libboost-thread-dev libgflags-dev libgoogle-glog-dev libgtest-dev libgnutls-openssl-dev liblapack-dev liblog4cpp5-dev libmatio-dev libuhd-dev git gnuradio-dev gr-osmosdr python-mako python-six libxml2-dev bison flex && rm -rf /var/lib/apt/lists/*\nRUN git clone $CI_REPOSITORY_URL\nRUN cd gnss-sdr/build\nRUN git checkout $CI_COMMIT_SHA\nRUN cmake -DENABLE_PACKAGING=ON -DENABLE_INSTALL_TESTS=ON .. && make && make install\nRUN /usr/bin/volk_profile -v 8111\nRUN /usr/local/bin/volk_gnsssdr_profile\nRUN apt-get clean && rm -rf /tmp/* /var/tmp/*\nRUN rm -rf /home/src\nWORKDIR /home\nCMD [\"bash\"]" > Dockerfile - docker login -u "$CI_REGISTRY_USER" -p "$CI_REGISTRY_PASSWORD" - docker build -t $DOCKER_HUB_USER/$DOCKER_HUB_REPO .