leo/.github/workflows/acl2.yml

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: Pull the tgc executable
        run: |
          mkdir tmp;
          cd tmp;
          curl -s https://api.github.com/repos/AleoHQ/leo-acl2-bin/latest | \
            sed -n 's/.*"tarball_url": "\(.*\)",.*/\1/p' | \
            xargs -n1 wget -O - -q | \
            tar -xz --strip-components=1
          
          ls -la
          tree .

      # - 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;