From f29aa6720eba884533972530b4283bf19d8410aa Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 5 Feb 2019 15:34:49 +0100
Subject: Makefiles: Fixes for byte compilation

- default targets don't depend on ocamlopt when it's unavailable
- coqc.byte is built by byte target and coqc by coqbinaries target
- unit tests use best ocaml
- poly-capture-global-univs tests ml compilation with ocamlc
- don't try to install .cmx and native-compute .o files

cf https://github.com/coq/coq/issues/9464
---
 test-suite/misc/poly-capture-global-univs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/misc')

diff --git a/test-suite/misc/poly-capture-global-univs.sh b/test-suite/misc/poly-capture-global-univs.sh
index e066ac039b..39d20fd524 100755
--- a/test-suite/misc/poly-capture-global-univs.sh
+++ b/test-suite/misc/poly-capture-global-univs.sh
@@ -11,7 +11,7 @@ coq_makefile -f _CoqProject -o Makefile
 
 make clean
 
-make src/evil_plugin.cmxs
+make src/evil_plugin.cma
 
 if make; then
     >&2 echo 'Should have failed!'
-- 
cgit v1.2.3