From 04428c362f6f2ea1bec6d5bb4fa3895c84d1e7ba Mon Sep 17 00:00:00 2001
From: Dylan MacKenzie <ecstaticmorse@gmail.com>
Date: Fri, 24 Sep 2021 09:41:08 -0700
Subject: [PATCH] Test Souffle feature on CI

---
 .github/workflows/ci.yml | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5be269fef5..1f0e888844 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches: [ master ]
   pull_request:
-    
+
 jobs:
   rustfmt:
     name: Check formatting
@@ -56,11 +56,17 @@ jobs:
     strategy:
       matrix:
         rust: [beta, nightly]
+        features: [[], ['polonius-souffle']]
     steps:
       - uses: actions/checkout@v2
         with:
           fetch-depth: 1
 
+      - name: Install Souffle
+        run: |
+          curl -s https://packagecloud.io/install/repositories/souffle-lang/souffle/script.deb.sh | sudo bash
+          sudo apt-get install souffle
+
       - name: Install rust toolchain
         uses: actions-rs/toolchain@v1
         with:
@@ -69,7 +75,7 @@ jobs:
           override: true
 
       - name: Build polonius
-        run: cargo build
+        run: cargo build --features "${{ join(matrix.features) }}"
 
       - name: Execute tests for all crates in the workspace
-        run: cargo test --all
+        run: cargo test --all --features "${{ join(matrix.features) }}"