Hack around for missing installer files

coq · Sep 27, 2023 · 1376912 · 1376912
1 parent a1b579f
commit 1376912
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/coq.ico b/coq.ico
diff --git a/windows/create_installer_windows.sh b/windows/create_installer_windows.sh
@@ -459,10 +459,13 @@ fi
 
 # Copy some files from source
 cp source/coq/LICENSE .
-cp source/coqide/ide/coqide/coq.ico .
+# cp source/coqide/ide/coqide/coq.ico .
 mkdir -p files/bin
-cp source/coqide/ide/coqide/coq.ico files/bin/
-cp source/coq-compcert/LICENSE coq-compcert-license.txt
+# cp source/coqide/ide/coqide/coq.ico files/bin/
+# cp source/coq-compcert/LICENSE coq-compcert-license.txt
+cp ../coq.ico files/bin/
+touch coq-compcert-license.txt
+touch coq-vst-license.txt
 if [ -n "$NSIS_VST_CHECK" ]
 then
   cp source/$vst_pkg/LICENSE coq-vst-license.txt