aboutsummaryrefslogtreecommitdiff
path: root/Makefile.ide
AgeCommit message (Expand)Author
2021-04-19[build] Remove leftovers of codesigning / OSX IDe infrastructure.Emilio Jesus Gallego Arias
2021-01-12[osx] macpack all binaries, not just coqideEnrico Tassi
2020-12-27CoqIDE: Fix CC reference in makefileMichael Soegtrop
2020-11-25MacOS X install: accepting both dylib and so extensions for gtk immodules.Hugo Herbelin
2020-07-04Windows build: use architecture dependent version of windresMichael Soegtrop
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-12-03[ide] Don't use -linkall for the GUI app.Emilio Jesus Gallego Arias
2019-10-30make: guard cp calls with rm -f on executablesGaëtan Gilbert
2019-09-23[macOS]immodules: *.so → *.dylibVincent Laporte
2019-09-10Moving configuration of coqide.keys to the coqide executable.Hugo Herbelin
2019-08-25Changed chmod -w to chmod a-w to avoid error on cygwinMichael Soegtrop
2019-06-17Update py-style headers to new year.Théo Zimmermann
2019-05-21Fixing typos - Part 1JPR
2019-04-25CoqIDE: install icons on macOSVincent Laporte
2019-04-25CoqIDE: fix open-file dialog on macOSVincent Laporte
2019-04-15[CoqIDE] Fix build system for macOSVincent Laporte
2019-03-22Merge PR #8560: Unicode bindings for CoqIDE that works out of the boxPierre-Marie Pédrot
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-03-19CoqIDE: Adapt configuration to require lablgtk3 and gtksourceview3.Hugo Herbelin
2019-03-18implementation installation of default unicode bindingscharguer
2019-03-18binding generator for coqidecharguer
2019-02-27[make] coqide target needs STM workersEnrico Tassi
2019-01-10[make] support for QUICKEnrico Tassi
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 10:41:18 +0000