version: 0.2

env:
  variables:
    NODE_OPTIONS: "--max-old-space-size=4096"

phases:
  install:
    runtime-versions:
      # TODO update to .NET 6.0
      dotnet: 5.0
      nodejs: 14
    commands:
      # Get Dafny
      - cd $CODEBUILD_SRC_DIR/..
      - 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"
      # Install the Javascript ESDK test vector runners
      - npm install -g @aws-crypto/integration-node
  build:
    commands:
      # Generate decryption test vectors
      - cd $CODEBUILD_SRC_DIR/aws-encryption-sdk-net/TestVectorGenerator
      - export VECTORS_DIR="$CODEBUILD_SRC_DIR/generated_vectors"
      - mkdir $VECTORS_DIR
      - dotnet run -- --encrypt-manifest resources/0006-awses-message-decryption-generation.v2.json --output-dir $VECTORS_DIR --quiet
      # Decrypt generated vectors with Javascript ESDK
      - cd $VECTORS_DIR
      - zip -q -r vectors.zip ./*
      - /usr/local/bin/integration-node decrypt -v vectors.zip