From dbb36e6fdc1ff6a5e35308a82dfbbe9588d1740a Mon Sep 17 00:00:00 2001
From: Tom Jack <tom@tomjack.co>
Date: Thu, 21 Nov 2019 12:28:38 -0600
Subject: [PATCH] Use runtest to run tests

---
 .gitlab-ci.yml                               | 2 +-
 scripts/test_ligo.sh                         | 2 +-
 src/union_find/dune                          | 9 +++++----
 vendors/ligo-utils/tezos-protocol-alpha/dune | 7 ++++---
 4 files changed, 11 insertions(+), 9 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2aa87413e..fa78f2b42 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -84,7 +84,7 @@ local-dune-job:
   script:
     - scripts/install_vendors_deps.sh
     - scripts/build_ligo_local.sh
-    - dune build @ligo-test
+    - dune runtest
 
 # Run a docker build without publishing to the registry
 build-current-docker-image:
diff --git a/scripts/test_ligo.sh b/scripts/test_ligo.sh
index 9fd6320e7..cbd3dd817 100755
--- a/scripts/test_ligo.sh
+++ b/scripts/test_ligo.sh
@@ -2,4 +2,4 @@
 set -e
 
 eval $(opam config env)
-dune build @ligo-test
+dune runtest
diff --git a/src/union_find/dune b/src/union_find/dune
index fad355c7a..711614f28 100644
--- a/src/union_find/dune
+++ b/src/union_find/dune
@@ -10,7 +10,8 @@
 ;;   (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils ))
   )
 
-(test
- (modules PartitionMain)
- (libraries union_find)
- (name PartitionMain))
+;;; TODO test does not test anything, only prints
+; (test
+;  (modules PartitionMain)
+;  (libraries union_find)
+;  (name PartitionMain))
diff --git a/vendors/ligo-utils/tezos-protocol-alpha/dune b/vendors/ligo-utils/tezos-protocol-alpha/dune
index a715d55fd..44d2e1515 100644
--- a/vendors/ligo-utils/tezos-protocol-alpha/dune
+++ b/vendors/ligo-utils/tezos-protocol-alpha/dune
@@ -15,6 +15,7 @@
  (name   runtest_dune_template)
  (action (diff dune.inc dune.inc.gen)))
 
-(alias
- (name runtest)
- (deps (alias runtest_dune_template)))
+;;; for ligo, don't test this
+; (alias
+;  (name runtest)
+;  (deps (alias runtest_dune_template)))