index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile.build
Commit message (
Expand
)
Author
Age
...
*
Coqide: get rid of threads, use gtk asynchronous i/o instead
letouzey
2012-12-08
*
Coqmktop: missing -I (fix #2851)
letouzey
2012-10-23
*
Coqide does not need dllcoqrun.so
pboutill
2012-10-22
*
Makefile.build: CONFIG is now in clib
pboutill
2012-10-17
*
Do not install libcoqrun.so if compiled with -custom
pboutill
2012-10-17
*
Makefiles: Only -I required dirs (config, lib, ide) when compiling coqide
pboutill
2012-10-15
*
Makefile.build: $(MLINCLUDES) out of $(OPT/BYTEFLAGS)
pboutill
2012-10-15
*
Turn mltop.ml4 into a regular ocaml file
letouzey
2012-10-06
*
no need for camlp4 cma's in coq misc tools
letouzey
2012-10-06
*
remove -rectypes except for term.ml
letouzey
2012-10-06
*
Makefile.build: easier compilation with timings info
letouzey
2012-10-04
*
New makefile shortcuts miniopt and minibyte for coqtop + plugins
letouzey
2012-10-02
*
Added a ml-dot option to Makefile to generate dependency graph of core modules
ppedrot
2012-09-25
*
Avoid generating ide/coqide_main*.ml as cleartext (except if READABLE_ML4 is ...
letouzey
2012-09-20
*
Remove broken makefile option NO_RECOMPILE_LIB
letouzey
2012-09-20
*
MacOS integration uses lablgtkosx >= 1.1
pboutill
2012-09-17
*
Makefile: revised install-coqide rule
letouzey
2012-09-07
*
Fix coqide compilation with lablgtk 2.16
pboutill
2012-09-04
*
Erase %.vo dependency to the phony target states
pboutill
2012-09-04
*
No more states/initial.coq, instead coqtop now requires Prelude.vo
letouzey
2012-08-23
*
No more coqtop.opt, produce directly a coqtop binary
letouzey
2012-08-23
*
Configure + Makefile : simplification when -local
letouzey
2012-08-23
*
Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib)
letouzey
2012-08-23
*
Port from 8.4 branch some build fixes concerning win32 :
letouzey
2012-08-23
*
Do not forget to build the unicode libraries, necessary to compile and launch...
msozeau
2012-08-22
*
Fixup for macOS 10.8 & Ocaml 4.0
pboutill
2012-08-08
*
Win32: some quote fixes
letouzey
2012-08-06
*
Legacy Ring and Legacy Field migrated to contribs
letouzey
2012-07-05
*
place all files specific to camlp4 syntax extensions in grammar/
letouzey
2012-05-29
*
Makefile.build: a rule for building grammar.dot
letouzey
2012-05-29
*
Makefile: avoid too much exported vars (for win32)
letouzey
2012-05-29
*
Revert copy/pasted function in to minilib thanks to clib.cma
pboutill
2012-05-23
*
Makefile.build typo in echo
pboutill
2012-05-11
*
Tentative and very experminental support for typerex. Enabled with
aspiwack
2012-05-11
*
Coqide highligthing is back (done by gtksourceview).
pboutill
2012-05-02
*
Fix make install after emacs mode troll (r15251)
pboutill
2012-04-28
*
Configure asks for lablgtk >= 2.12 with gtksourceview2
pboutill
2012-04-27
*
Removed the quasi-useless gtk2rc file and the documentation that went with it...
ppedrot
2012-04-27
*
Remove the Dp plugin.
gmelquio
2012-04-17
*
make otags only relies on otags
pboutill
2012-04-12
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
Final part of moving Program code inside the main code. Adapted add_definitio...
msozeau
2012-03-14
*
Makefile.build: add targets install-devfiles and install-ide-devfiles
pboutill
2012-01-31
*
Bug 2679: Do not try to install cmxs with -byte-only
pboutill
2012-01-16
*
Added a Btauto plugin, that solves boolean tautologies.
ppedrot
2012-01-13
*
Bug 2377 part 2: old revision file is erased by install
pboutill
2011-12-19
*
CoqIde files position is freedesktop compliant.
pboutill
2011-12-18
*
Makefile: force the installation of all .cmi (and remove some obsolete .mli)
letouzey
2011-12-08
*
Moving XML handling to lib directory
ppedrot
2011-11-24
*
coqide default pref files are by default in /etc/xdg/coq/
pboutill
2011-11-21
[prev]
[next]