index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Makefile.install
Age
Commit message (
Expand
)
Author
2017-10-13
Fix BZ#5785 (make install -j broken)
Jason Gross
2017-09-11
Remove unneeded fix for BZ#1715
Gaëtan Gilbert
2017-08-04
Makefile: install-byte works even if -coqide no
Enrico Tassi
2017-07-11
Add timing scripts
Jason Gross
2017-05-30
Makefile: no bytecode compilation in make world, see make byte instead
Pierre Letouzey
2017-05-23
enters coq_makefile2
Enrico Tassi
2017-03-10
[META] [build] Install dlls to kernel/byterun
Emilio Jesus Gallego Arias
2016-10-28
[build] Add a target to install the META file.
Emilio Jesus Gallego Arias
2016-07-05
Revert "Merge remote-tracking branch 'github/pr/229' into trunk"
Maxime Dénès
2016-06-29
Makefile: no bytecode compilation in make world, see make byte instead
Pierre Letouzey
2016-06-24
Makefile.install: fix a typo in last commit c954bb5, sorry
Pierre Letouzey
2016-06-24
Makefile.install: fix the install of plugin cmi
Pierre Letouzey
2016-06-08
Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}
Pierre Letouzey
