diff options
| author | Pierre Boutillier | 2015-01-13 21:22:54 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2015-01-14 09:55:44 +0100 |
| commit | 39dbaf95e1a433e3b3fcea08935d243d01833656 (patch) | |
| tree | 0152099ffa4782dc0c4bc3332ec9aff12473d708 /kernel/nativecode.ml | |
| parent | 53bd823e61ed0bac8f08d6b514be18f6c503f695 (diff) | |
Always build (even when -coqide no) and install idetoploop
So you can link a coqtop compiled (by opam) without coqide to a stand alone coqide (binary distributed)
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions