aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* 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
* 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