aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* Makefile.build: easier compilation with timings infoGravatar letouzey2012-10-04
* New makefile shortcuts miniopt and minibyte for coqtop + pluginsGravatar letouzey2012-10-02
* Added a ml-dot option to Makefile to generate dependency graph of core modulesGravatar ppedrot2012-09-25
* Avoid generating ide/coqide_main*.ml as cleartext (except if READABLE_ML4 is ...Gravatar letouzey2012-09-20
* Remove broken makefile option NO_RECOMPILE_LIBGravatar letouzey2012-09-20
* MacOS integration uses lablgtkosx >= 1.1Gravatar pboutill2012-09-17
* Makefile: revised install-coqide ruleGravatar letouzey2012-09-07
* Fix coqide compilation with lablgtk 2.16Gravatar pboutill2012-09-04
* Erase %.vo dependency to the phony target statesGravatar pboutill2012-09-04
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* No more coqtop.opt, produce directly a coqtop binaryGravatar letouzey2012-08-23
* Configure + Makefile : simplification when -localGravatar letouzey2012-08-23
* Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib)Gravatar letouzey2012-08-23
* Port from 8.4 branch some build fixes concerning win32 :Gravatar letouzey2012-08-23
* Do not forget to build the unicode libraries, necessary to compile and launch...Gravatar msozeau2012-08-22
* Fixup for macOS 10.8 & Ocaml 4.0Gravatar pboutill2012-08-08
* Win32: some quote fixesGravatar letouzey2012-08-06
* Legacy Ring and Legacy Field migrated to contribsGravatar letouzey2012-07-05
* place all files specific to camlp4 syntax extensions in grammar/Gravatar letouzey2012-05-29
* Makefile.build: a rule for building grammar.dotGravatar letouzey2012-05-29
* Makefile: avoid too much exported vars (for win32)Gravatar letouzey2012-05-29
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Makefile.build typo in echoGravatar pboutill2012-05-11
* Tentative and very experminental support for typerex. Enabled withGravatar aspiwack2012-05-11
* Coqide highligthing is back (done by gtksourceview).Gravatar pboutill2012-05-02
* Fix make install after emacs mode troll (r15251)Gravatar pboutill2012-04-28
* Configure asks for lablgtk >= 2.12 with gtksourceview2Gravatar pboutill2012-04-27
* Removed the quasi-useless gtk2rc file and the documentation that went with it...Gravatar ppedrot2012-04-27
* Remove the Dp plugin.Gravatar gmelquio2012-04-17
* make otags only relies on otagsGravatar pboutill2012-04-12
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Final part of moving Program code inside the main code. Adapted add_definitio...Gravatar msozeau2012-03-14
* Makefile.build: add targets install-devfiles and install-ide-devfilesGravatar pboutill2012-01-31
* Bug 2679: Do not try to install cmxs with -byte-onlyGravatar pboutill2012-01-16
* Added a Btauto plugin, that solves boolean tautologies.Gravatar ppedrot2012-01-13
* Bug 2377 part 2: old revision file is erased by installGravatar pboutill2011-12-19
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* Makefile: force the installation of all .cmi (and remove some obsolete .mli)Gravatar letouzey2011-12-08
* Moving XML handling to lib directoryGravatar ppedrot2011-11-24
* coqide default pref files are by default in /etc/xdg/coq/Gravatar pboutill2011-11-21
* coqide-gtk2rc not dottedGravatar pboutill2011-11-20
* Completed list of theories targetsGravatar herbelin2011-11-16
* Added XML dependencies into MakefileGravatar ppedrot2011-11-06
* Makefile install rule fixGravatar pboutill2011-10-26
* Not hard-wiring camlp5 path in target source-doc!Gravatar herbelin2011-09-25
* avoid dependency nightmare by creating coqdep_{lexer,common}.mliGravatar letouzey2011-09-18
* Various fixes in the MakefilesGravatar letouzey2011-09-17
* make world now builds fake_ide (to please coq-bench)Gravatar letouzey2011-09-06
* fake_ide: a short program to mimic an ide talking to coqtop -ideslaveGravatar letouzey2011-09-05
* same_file in MinilibGravatar pboutill2011-09-01