From 62a649e0a30cd85146f337b1fbc57adc804d0a48 Mon Sep 17 00:00:00 2001
From: Leonid Ryzhyk <lryzhyk@vmware.com>
Date: Thu, 9 Jul 2020 00:05:49 -0700
Subject: [PATCH] Don't run souffle tests in Travis.

The test no longer works on MacOS, as subversion installation fails in
Travis.  Since these tests run in gitlab anyway, there is no hard in
disabling them.
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 6251a8e4e..cd76e3905 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -43,7 +43,7 @@ cache:
 
 env:
    - TOOL=stack TEST_SUITE='-p tutorial' BUILD_BINARY=1
-   - TOOL=run_souffle_tests
+   # - TOOL=run_souffle_tests
    # - TOOL=stack TEST_SUITE='-p redist' JAVA=1
    # - TOOL=stack TEST_SUITE='-p span_uuid'
    # - TOOL=stack TEST_SUITE='-p souffle0'