https://github.com/maximedenes/native-coq
Tip revision: 3623a4d9fe95c165f02f7119c0e6564a83a9f4c9 authored by Maxime Dénès on 01 December 2017, 10:27:20 UTC
Fix compilation in my setup.
Fix compilation in my setup.
Tip revision: 3623a4d
| File | Mode | Size |
|---|---|---|
| checker | ||
| config | ||
| dev | ||
| doc | ||
| ide | ||
| interp | ||
| kernel | ||
| lib | ||
| library | ||
| man | ||
| parsing | ||
| plugins | ||
| pretyping | ||
| proofs | ||
| scripts | ||
| states | ||
| tactics | ||
| test-suite | ||
| theories | ||
| tools | ||
| toplevel | ||
| .dir-locals.el | -rw-r--r-- | 448 bytes |
| .gitignore | -rw-r--r-- | 2.7 KB |
| CHANGES | -rw-r--r-- | 112.2 KB |
| COMPATIBILITY | -rw-r--r-- | 167 bytes |
| COPYRIGHT | -rw-r--r-- | 662 bytes |
| CREDITS | -rw-r--r-- | 6.9 KB |
| INSTALL | -rw-r--r-- | 12.6 KB |
| INSTALL.doc | -rw-r--r-- | 1.9 KB |
| INSTALL.ide | -rw-r--r-- | 4.4 KB |
| INSTALL.macosx | -rw-r--r-- | 850 bytes |
| LICENSE | -rw-r--r-- | 23.8 KB |
| Makefile | -rw-r--r-- | 9.3 KB |
| Makefile.build | -rw-r--r-- | 31.5 KB |
| Makefile.common | -rw-r--r-- | 12.4 KB |
| Makefile.doc | -rw-r--r-- | 13.2 KB |
| README | -rw-r--r-- | 1.8 KB |
| README.doc | -rwxr-xr-x | 645 bytes |
| README.win | -rw-r--r-- | 2.0 KB |
| TODO | -rw-r--r-- | 1.5 KB |
| _tags | -rw-r--r-- | 2.3 KB |
| build | -rwxr-xr-x | 523 bytes |
| configure | -rwxr-xr-x | 35.2 KB |
| coq-win32.itarget | -rw-r--r-- | 39 bytes |
| coq.itarget | -rw-r--r-- | 223 bytes |
| install.sh | -rwxr-xr-x | 142 bytes |
| myocamlbuild.ml | -rw-r--r-- | 17.2 KB |
