diff options
| author | Enrico Tassi | 2014-09-05 15:04:49 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-09-09 13:11:38 +0200 |
| commit | 938dd9ba81d0bba5a9358627405d3110fc4ee335 (patch) | |
| tree | 463fb87ad733ae48fb2a5de022c44ebaf1ab7ae9 /stm/asyncTaskQueue.ml | |
| parent | 2b4fcf404228fbc67f1c137cd75805255c2581d4 (diff) | |
Installer for win32
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
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions