Migrate to cmake (#61)

* Migrate to cmake.

* Dependency.

Author: fruffy

.github/workflows/pytest.yaml

@@ -5,9 +5,15 @@ jobs:
     runs-on: ubuntu-18.04
     steps:
     - uses: actions/checkout@v1
+    - name: ccache
+      uses: hendrikmuhs/ccache-action@v1
+      with:
+        key: ${{ matrix.os }}
+        max-size: 1000M
     - name: Install
       run: |
         ./do_install.sh RUN_CI=ON
-    - name: Test with pytest
+    - name: Test with CMake
       run: |
-        python3 -m pytest test.py -vrf
+        cd modules/p4c/build
+        ctest -j4 -R toz3-validate --output-on-failure --schedule-random

conftest.py

@@ -135,16 +135,4 @@ cmake .. -DCMAKE_BUILD_TYPE=RelWithDebInfo
 make -j `getconf _NPROCESSORS_ONLN`
 cd ../..
 
-echo "Installing Gauntlet Python dependencies..."
-# Install z3 locally
-pip3 install --upgrade --user z3-solver
-# Pytests for tests
-pip3 install --upgrade --user pytest
-# Run tests in parallel
-pip3 install --upgrade --user pytest-xdist
-# Python 3.6 compatibility
-pip3 install --upgrade --user dataclasses
-
-
-
 echo "Gauntlet installation completed successfully."