aboutsummaryrefslogtreecommitdiff
path: root/Makefile.ide
AgeCommit message (Expand)Author
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-02Select OS specific coqide code with cp.Gaëtan Gilbert
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-06-30Suppress useless "true bin/*.opt.exe" messages from no-op STRIP and CODESIGN ...Jim Fehrle
2018-05-24[ide] Move common protocol library to its own folder/object.Emilio Jesus Gallego Arias
2018-05-22[build] Add -cclib -lcoqrun options to build of kernel.cmxa.Emilio Jesus Gallego Arias
2018-05-21[ide] Remove special option `-ideslave`Emilio Jesus Gallego Arias
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2018-01-10Add interfaces for IDE and remove dead code.Maxime Dénès
2017-12-23[lib] Split auxiliary libraries into Coq-specific and general.Emilio Jesus Gallego Arias
2017-11-13[ci] [coq] Complete 4.06.0 support.Emilio Jesus Gallego Arias
2017-10-13Fix some more missing mkdir lines to Makefile.ideJason Gross
2017-08-17Make Travis generate OSX packages.Maxime Dénès
2017-08-04Makefile: install-byte works even if -coqide noEnrico Tassi
2017-07-25Makefile.ide: restore a coqide-binaries rule (fix bug 5667)Pierre Letouzey
2017-05-30Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-07-04Merge remote-tracking branch 'github/pr/229' into trunkMaxime Dénès
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-06-29Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2016-06-21Makefile: compat5* moved in grammar/, less -I given to camlp4oPierre Letouzey
2016-06-15Makefile.build: ensure a build failure in case of a missing rulePierre Letouzey
2016-06-08Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Pierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:42:17 +0000