From 09db499e23b0e47254c285f3ab51986e87e78641 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 9 Nov 2018 18:29:08 +0100
Subject: [dune] Build `cmxs` files instead of `cmxa` in "quick" target.

This fixes #8954
---
 Makefile.dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.dune')

diff --git a/Makefile.dune b/Makefile.dune
index d201d1783a..389472ea58 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -44,7 +44,7 @@ COQTOP_FILES=ide/idetop.bc ide/coqide_main.bc checker/coqchk.bc
 PLUGIN_FILES=$(wildcard plugins/*/*.mlpack)
 PRINTER_FILES=dev/top_printers.cma dev/checker_printers.cma
 QUICKBYTE_TARGETS=$(COQTOP_FILES) $(PLUGIN_FILES:.mlpack=.cma) $(PRINTER_FILES) topbin/coqtop_byte_bin.bc
-QUICKOPT_TARGETS=$(COQTOP_FILES:.bc=.exe) $(PLUGIN_FILES:.mlpack=.cmxa) $(PRINTER_FILES:.cma=.cmxa) topbin/coqtop_bin.exe
+QUICKOPT_TARGETS=$(COQTOP_FILES:.bc=.exe) $(PLUGIN_FILES:.mlpack=.cmxs) $(PRINTER_FILES:.cma=.cmxa) topbin/coqtop_bin.exe
 
 quickbyte: voboot
 	dune build $(DUNEOPT) $(QUICKBYTE_TARGETS)
-- 
cgit v1.2.3