Package: coq / 8.12.0-3

testsuite-bytecode Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
Author:     Hugo Herbelin <Hugo.Herbelin@inria.fr>
AuthorDate: Sat Apr 11 17:52:28 2020 +0200
Upstream-commit 7a84ca84bba8dbdaaf40ddad479e5485172a6f23
Description: Fix export of byte architecture flag to test-suite.

Index: coq/Makefile.build
===================================================================
--- coq.orig/Makefile.build	2020-08-21 13:20:45.635952885 +0200
+++ coq/Makefile.build	2020-08-21 13:20:45.631952885 +0200
@@ -615,7 +615,7 @@

 test-suite: world byte $(ALLSTDLIB).v
 	$(MAKE) $(MAKE_TSOPTS) clean
-	$(MAKE) $(MAKE_TSOPTS) all
+	$(MAKE) OPT=-$(BEST) $(MAKE_TSOPTS) all

 ###########################################################################
 # Default rules for compiling ML code