config.yml 650 Bytes
Newer Older
1 2 3
version: 2
jobs:
  build:
4
    machine: true
5
    steps:
6 7 8 9
      - checkout
      - restore_cache:
          key: docker-{{ checksum "Dockerfile" }}
      - run:
10
          command: if [[ -e ~/docker/image.tar ]]; then docker load --input ~/docker/image.tar; else docker build -t dmt . && { mkdir -p ~/docker; docker save dmt > ~/docker/image.tar ; } ; fi
11 12 13 14 15
      - save_cache:
          key: docker-{{ checksum "Dockerfile" }}
          paths:
            - ~/docker
      - run:
16
          command: docker run -it -v $(pwd):/root/tests dmt bash -c 'cd /root/tests ; pip3 uninstall dmt ; pip3 install --upgrade . ; LANG=C LC_ALL=C PATH=$PATH:/asn1scc make'