From 0c999f02ffcd61fcace0cc2d045056a82992a100 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 19 Dec 2014 17:33:38 +0100
Subject: Win32: fix installer

Still unsure about .o file (should they be shipped for the native_compute
machinery or .cmxs suffice?)
---
 dev/nsis/coq.nsi | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'dev/nsis')

diff --git a/dev/nsis/coq.nsi b/dev/nsis/coq.nsi
index 1f598a88d3..547b73c870 100755
--- a/dev/nsis/coq.nsi
+++ b/dev/nsis/coq.nsi
@@ -93,8 +93,13 @@ Section "Coq" Sec1
 
   SetOutPath "$INSTDIR\lib\theories"
   File /r ${COQ_SRC_PATH}\theories\*.vo
+  File /r ${COQ_SRC_PATH}\theories\*.v
+  File /r ${COQ_SRC_PATH}\theories\*.glob
+  File /r ${COQ_SRC_PATH}\theories\*.cmxs
   SetOutPath "$INSTDIR\lib\plugins"
   File /r ${COQ_SRC_PATH}\plugins\*.vo
+  File /r ${COQ_SRC_PATH}\plugins\*.v
+  File /r ${COQ_SRC_PATH}\plugins\*.glob
   File /r ${COQ_SRC_PATH}\plugins\*.cmxs
   SetOutPath "$INSTDIR\lib\tools\coqdoc"
   File ${COQ_SRC_PATH}\tools\coqdoc\coqdoc.sty
@@ -104,7 +109,8 @@ Section "Coq" Sec1
   SetOutPath "$INSTDIR\man"
   File ${COQ_SRC_PATH}\man\*.1
   SetOutPath "$INSTDIR\lib\toploop"
-  File ${COQ_SRC_PATH}\stm\stmworkertop.cmxs
+  File ${COQ_SRC_PATH}\stm\queryworkertop.cmxs
+  File ${COQ_SRC_PATH}\stm\proofworkertop.cmxs
   File ${COQ_SRC_PATH}\stm\tacworkertop.cmxs
   File ${COQ_SRC_PATH}\ide\coqidetop.cmxs
 
-- 
cgit v1.2.3