aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2012-09-25Added a ml-dot option to Makefile to generate dependency graph of core modulesppedrot
2012-09-20Avoid generating ide/coqide_main*.ml as cleartext (except if READABLE_ML4 is ...letouzey
2012-09-20Remove broken makefile option NO_RECOMPILE_LIBletouzey
2012-09-17MacOS integration uses lablgtkosx >= 1.1pboutill
2012-09-07Makefile: revised install-coqide ruleletouzey
2012-09-04Fix coqide compilation with lablgtk 2.16pboutill
2012-09-04Erase %.vo dependency to the phony target statespboutill
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-23No more coqtop.opt, produce directly a coqtop binaryletouzey
2012-08-23Configure + Makefile : simplification when -localletouzey
2012-08-23Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib)letouzey
2012-08-23Port from 8.4 branch some build fixes concerning win32 :letouzey
2012-08-22Do not forget to build the unicode libraries, necessary to compile and launch...msozeau
2012-08-08Fixup for macOS 10.8 & Ocaml 4.0pboutill
2012-08-06Win32: some quote fixesletouzey
2012-07-05Legacy Ring and Legacy Field migrated to contribsletouzey
2012-05-29place all files specific to camlp4 syntax extensions in grammar/letouzey
2012-05-29Makefile.build: a rule for building grammar.dotletouzey
2012-05-29Makefile: avoid too much exported vars (for win32)letouzey
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-11Makefile.build typo in echopboutill
2012-05-11Tentative and very experminental support for typerex. Enabled withaspiwack
2012-05-02Coqide highligthing is back (done by gtksourceview).pboutill
2012-04-28Fix make install after emacs mode troll (r15251)pboutill
2012-04-27Configure asks for lablgtk >= 2.12 with gtksourceview2pboutill
2012-04-27Removed the quasi-useless gtk2rc file and the documentation that went with it...ppedrot
2012-04-17Remove the Dp plugin.gmelquio
2012-04-12make otags only relies on otagspboutill
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-14Final part of moving Program code inside the main code. Adapted add_definitio...msozeau
2012-01-31Makefile.build: add targets install-devfiles and install-ide-devfilespboutill
2012-01-16Bug 2679: Do not try to install cmxs with -byte-onlypboutill
2012-01-13Added a Btauto plugin, that solves boolean tautologies.ppedrot
2011-12-19Bug 2377 part 2: old revision file is erased by installpboutill
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-12-08Makefile: force the installation of all .cmi (and remove some obsolete .mli)letouzey
2011-11-24Moving XML handling to lib directoryppedrot
2011-11-21coqide default pref files are by default in /etc/xdg/coq/pboutill
2011-11-20coqide-gtk2rc not dottedpboutill
2011-11-16Completed list of theories targetsherbelin
2011-11-06Added XML dependencies into Makefileppedrot
2011-10-26Makefile install rule fixpboutill
2011-09-25Not hard-wiring camlp5 path in target source-doc!herbelin
2011-09-18avoid dependency nightmare by creating coqdep_{lexer,common}.mliletouzey
2011-09-17Various fixes in the Makefilesletouzey
2011-09-06make world now builds fake_ide (to please coq-bench)letouzey
2011-09-05fake_ide: a short program to mimic an ide talking to coqtop -ideslaveletouzey
2011-09-01same_file in Minilibpboutill
2011-09-01Creation of ide/project_file.ml4pboutill
2011-06-17Customized accelerator maps for macos are globally installed (end to fix 2462)pboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 08:57:35 +0000