aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/nsis
Commit message (Collapse)AuthorAge
* Add license text to the windows installationGravatar Enrico Tassi2016-06-03
|
* Use -win32 and -win64 suffixes for installer name on Windows.Gravatar Maxime Dénès2016-04-07
|
* Fix Windows installer.Gravatar Guillaume Melquiond2015-09-17
| | | | | The theories/ directory contains no cmi/cmxs files when native_compute is disabled, so do not try to ship them.
* Windows installer cleanupGravatar Enrico Tassi2015-02-05
|
* Minor fixes for the win32 installerGravatar Enrico Tassi2014-12-30
|
* Win32: fix installerGravatar Enrico Tassi2014-12-19
| | | | | Still unsure about .o file (should they be shipped for the native_compute machinery or .cmxs suffice?)
* win32: remove outdated splash screenGravatar Enrico Tassi2014-09-17
| | | | | The official Coq logo does not work as a splash screen. Simplest fix: no splash screen.
* Installer for win improvedGravatar Enrico Tassi2014-09-09
| | | | | | | | | - checks for paths containing whitespaces - Coqide has syntax highlighting - does not include the ocaml compiler, since it would not work anyway for the purpose of native compile. For that we really need the whole toolchain, including the C linker/assembler. Hence we should just recommend to install the SDK
* Installer for win32Gravatar Enrico Tassi2014-09-09
Not 100% functional, but coqide works. The native compiler is embedded but: - some path mangling problem prevents it from working even when run via cygwin (like in the build process) - CAMLLIB must be exported to ${COQ}\ocaml\lib to have it run (coq should do it). fix