name: Leo-ACL2
on: 
  push:
env: 
  RUST_BACKTRACE: 1

jobs:
  acl2:
    name: leo-acl2
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v2

      # - name: Install Rust
      #   uses: actions-rs/toolchain@v1
      #   with:
      #     profile: minimal
      #     toolchain: stable
      #     override: true

      # - name: Prepare tgc
      #   run: |
      #     cd acl2 && gunzip leo-acl2.lx86cl64.gz
      #     ls -la .

      # - name: Generate asts
      #   run: |
      #     cargo run -p leo-test-framework --bin tgc

      - name: fetch-latest-release
        uses: thebritican/fetch-latest-release@v2.0.0
        with:
          repo_path: AleoHQ/leo-acl2-bin
          github_token: ${{ github.token }}
      
      - name: List files
        run: |
          ls -la

      # - name: Run tgc over the asts
      #   run: |
      #     ARRAY=();
      #     for dir in `ls tmp/tgc`;
      #     do
      #       cd tmp/tgc/$dir; # enter the directory
      #       ./../../../acl2/tgc canonicalization initial_ast.json canonicalization_ast.json canonicalization-theorem.lisp || ARRAY+=("$dir");
      #       cd ../../..
      #     done;
      #     echo "Failures:";
      #     for i in ${ARRAY[@]};
      #     do
      #     echo $i;
      #     done;