version: 0.2

phases:
  install:
    runtime-versions:
      # TODO update to .NET 6.0
      dotnet: 5.0
    commands:
      - cd ..
      # Get Dafny
      - curl https://github.com/dafny-lang/dafny/releases/download/v3.5.0/dafny-3.5.0-x64-ubuntu-16.04.zip -L -o dafny.zip
      - unzip -qq dafny.zip && rm dafny.zip
      - export PATH="$PWD/dafny:$PATH"
      # Set up environment for running test vectors
      - wget https://github.com/awslabs/aws-encryption-sdk-test-vectors/raw/master/vectors/awses-decrypt/python-2.3.0.zip
      - unzip -qq python-2.3.0.zip && rm python-2.3.0.zip
      # Explicitly set this (rather than as a codebuild env variable like above) because it depends on the
      # current working directory
      - export DAFNY_AWS_ESDK_TEST_VECTOR_MANIFEST_PATH="${PWD}/manifest.json"
      # Switch back to the main directory
      - cd aws-encryption-sdk-dafny/aws-encryption-sdk-net
  build:
    commands:
      - dotnet test -f netcoreapp3.1 TestVectors /nowarn:CS0105