From 8e708a30b165776ac8df65c5e5f440baff855f70 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Thu, 1 Jun 2017 17:11:42 +0200
Subject: test-suite/coq-makefile: we do not build byte file by default anymore

---
 test-suite/coq-makefile/coqdoc1/run.sh   | 2 --
 test-suite/coq-makefile/coqdoc2/run.sh   | 2 --
 test-suite/coq-makefile/mlpack1/run.sh   | 2 --
 test-suite/coq-makefile/mlpack2/run.sh   | 2 --
 test-suite/coq-makefile/multiroot/run.sh | 3 ---
 test-suite/coq-makefile/native1/run.sh   | 2 --
 test-suite/coq-makefile/plugin1/run.sh   | 3 ---
 test-suite/coq-makefile/plugin2/run.sh   | 3 ---
 test-suite/coq-makefile/plugin3/run.sh   | 3 ---
 9 files changed, 22 deletions(-)

(limited to 'test-suite/coq-makefile')

diff --git a/test-suite/coq-makefile/coqdoc1/run.sh b/test-suite/coq-makefile/coqdoc1/run.sh
index d6bb52bb4..e8291c89d 100755
--- a/test-suite/coq-makefile/coqdoc1/run.sh
+++ b/test-suite/coq-makefile/coqdoc1/run.sh
@@ -15,9 +15,7 @@ make install-doc DSTROOT="$PWD/tmp"
 sort -u > desired <<EOT
 .
 ./test
-./test/test_plugin.cma
 ./test/test_plugin.cmi
-./test/test_plugin.cmo
 ./test/test_plugin.cmx
 ./test/test_plugin.cmxs
 ./test/test.glob
diff --git a/test-suite/coq-makefile/coqdoc2/run.sh b/test-suite/coq-makefile/coqdoc2/run.sh
index d6bb52bb4..e8291c89d 100755
--- a/test-suite/coq-makefile/coqdoc2/run.sh
+++ b/test-suite/coq-makefile/coqdoc2/run.sh
@@ -15,9 +15,7 @@ make install-doc DSTROOT="$PWD/tmp"
 sort -u > desired <<EOT
 .
 ./test
-./test/test_plugin.cma
 ./test/test_plugin.cmi
-./test/test_plugin.cmo
 ./test/test_plugin.cmx
 ./test/test_plugin.cmxs
 ./test/test.glob
diff --git a/test-suite/coq-makefile/mlpack1/run.sh b/test-suite/coq-makefile/mlpack1/run.sh
index f6fb3bcb4..10a200dde 100755
--- a/test-suite/coq-makefile/mlpack1/run.sh
+++ b/test-suite/coq-makefile/mlpack1/run.sh
@@ -15,9 +15,7 @@ sort > desired <<EOT
 .
 ./test
 ./test/test.glob
-./test/test_plugin.cma
 ./test/test_plugin.cmi
-./test/test_plugin.cmo
 ./test/test_plugin.cmx
 ./test/test_plugin.cmxs
 ./test/test.v
diff --git a/test-suite/coq-makefile/mlpack2/run.sh b/test-suite/coq-makefile/mlpack2/run.sh
index f6fb3bcb4..10a200dde 100755
--- a/test-suite/coq-makefile/mlpack2/run.sh
+++ b/test-suite/coq-makefile/mlpack2/run.sh
@@ -15,9 +15,7 @@ sort > desired <<EOT
 .
 ./test
 ./test/test.glob
-./test/test_plugin.cma
 ./test/test_plugin.cmi
-./test/test_plugin.cmo
 ./test/test_plugin.cmx
 ./test/test_plugin.cmxs
 ./test/test.v
diff --git a/test-suite/coq-makefile/multiroot/run.sh b/test-suite/coq-makefile/multiroot/run.sh
index 863c39f50..3cd1ac305 100755
--- a/test-suite/coq-makefile/multiroot/run.sh
+++ b/test-suite/coq-makefile/multiroot/run.sh
@@ -19,12 +19,9 @@ sort > desired <<EOT
 ./test
 ./test/test.glob
 ./test/test.cmi
-./test/test.cmo
 ./test/test.cmx
 ./test/test_aux.cmi
-./test/test_aux.cmo
 ./test/test_aux.cmx
-./test/test_plugin.cma
 ./test/test_plugin.cmxa
 ./test/test_plugin.cmxs
 ./test/test.v
diff --git a/test-suite/coq-makefile/native1/run.sh b/test-suite/coq-makefile/native1/run.sh
index bc9f846dd..da84067d5 100755
--- a/test-suite/coq-makefile/native1/run.sh
+++ b/test-suite/coq-makefile/native1/run.sh
@@ -17,9 +17,7 @@ sort > desired <<EOT
 .
 ./test
 ./test/test.glob
-./test/test_plugin.cma
 ./test/test_plugin.cmi
-./test/test_plugin.cmo
 ./test/test_plugin.cmx
 ./test/test_plugin.cmxs
 ./test/test.v
diff --git a/test-suite/coq-makefile/plugin1/run.sh b/test-suite/coq-makefile/plugin1/run.sh
index 24ef8c891..c2d47166f 100755
--- a/test-suite/coq-makefile/plugin1/run.sh
+++ b/test-suite/coq-makefile/plugin1/run.sh
@@ -17,12 +17,9 @@ sort > desired <<EOT
 ./test
 ./test/test.glob
 ./test/test.cmi
-./test/test.cmo
 ./test/test.cmx
 ./test/test_aux.cmi
-./test/test_aux.cmo
 ./test/test_aux.cmx
-./test/test_plugin.cma
 ./test/test_plugin.cmxa
 ./test/test_plugin.cmxs
 ./test/test.v
diff --git a/test-suite/coq-makefile/plugin2/run.sh b/test-suite/coq-makefile/plugin2/run.sh
index 24ef8c891..c2d47166f 100755
--- a/test-suite/coq-makefile/plugin2/run.sh
+++ b/test-suite/coq-makefile/plugin2/run.sh
@@ -17,12 +17,9 @@ sort > desired <<EOT
 ./test
 ./test/test.glob
 ./test/test.cmi
-./test/test.cmo
 ./test/test.cmx
 ./test/test_aux.cmi
-./test/test_aux.cmo
 ./test/test_aux.cmx
-./test/test_plugin.cma
 ./test/test_plugin.cmxa
 ./test/test_plugin.cmxs
 ./test/test.v
diff --git a/test-suite/coq-makefile/plugin3/run.sh b/test-suite/coq-makefile/plugin3/run.sh
index 24ef8c891..c2d47166f 100755
--- a/test-suite/coq-makefile/plugin3/run.sh
+++ b/test-suite/coq-makefile/plugin3/run.sh
@@ -17,12 +17,9 @@ sort > desired <<EOT
 ./test
 ./test/test.glob
 ./test/test.cmi
-./test/test.cmo
 ./test/test.cmx
 ./test/test_aux.cmi
-./test/test_aux.cmo
 ./test/test_aux.cmx
-./test/test_plugin.cma
 ./test/test_plugin.cmxa
 ./test/test_plugin.cmxs
 ./test/test.v
-- 
cgit v1.2.3