aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* New module Xml_printer (dual to Xml_parser)Gravatar gareuselesinge2013-05-06
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* coqc and coqmktop migrated in tools/, get rid of scripts/ subdirGravatar letouzey2013-04-18
* Checker : a md5-based way to ensure checker/values.ml is always in syncGravatar letouzey2013-04-15
* votour: a small tool for guided tours of .voGravatar letouzey2013-04-15
* Checker: re-sync vo structures after Maxime's commit 16136Gravatar letouzey2013-02-12
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22
* Revert "remove -rectypes except for term.ml"Gravatar mdenes2013-01-22
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* Coqmktop: missing -I (fix #2851)Gravatar letouzey2012-10-23
* Coqide does not need dllcoqrun.soGravatar pboutill2012-10-22
* Makefile.build: CONFIG is now in clibGravatar pboutill2012-10-17
* Do not install libcoqrun.so if compiled with -customGravatar pboutill2012-10-17
* Makefiles: Only -I required dirs (config, lib, ide) when compiling coqideGravatar pboutill2012-10-15
* Makefile.build: $(MLINCLUDES) out of $(OPT/BYTEFLAGS)Gravatar pboutill2012-10-15
* Turn mltop.ml4 into a regular ocaml fileGravatar letouzey2012-10-06
* no need for camlp4 cma's in coq misc toolsGravatar letouzey2012-10-06
* remove -rectypes except for term.mlGravatar letouzey2012-10-06
* 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