aboutsummaryrefslogtreecommitdiffhomepage
path: root/myocamlbuild.ml
Commit message (Expand)AuthorAge
* ocamlbuild: remove -dllpath from coqrunbyteflagsGravatar glondu2011-10-07
* ocamlbuild: Fix ocamlbuild compilation for changes to configure from r14500.Gravatar glondu2011-10-07
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* Ocamlbuild : build of fake_ideGravatar letouzey2011-09-06
* Coqide: try to properly send interrupts to coqtop on Win32Gravatar letouzey2011-04-28
* Coqide: a special kill function for win32Gravatar letouzey2011-04-21
* Ocamlbuild: in win32, coqide is now a console-free app by defaultGravatar letouzey2011-04-21
* Win32: let's directly make coqtop.exe and coqide.exe incorporate coq.icoGravatar letouzey2011-04-21
* ocamlbuild: support again camlp5 in addition to camlp4Gravatar letouzey2011-04-08
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25
* Fix ocamlbuild-based build systemGravatar glondu2011-01-11
* Ocamlbuild: adapt to last changes for camlp4 (use of tools/compat5*.cmo)Gravatar letouzey2010-07-15
* Ocamlbuild: try to speed-up error detection in *.ml*, by byte-compiling firstGravatar letouzey2010-06-03
* Ocamlbuild: various fixGravatar letouzey2010-05-19
* Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a naive wayGravatar letouzey2010-05-19
* static (and shared) camlp4use instead of per-file declarationGravatar letouzey2010-05-19
* Myocamlbuild: slight simplification of code for .ml4Gravatar letouzey2010-03-18
* Some more adaptations for Debian-->mingw32Gravatar letouzey2010-02-26
* mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build scriptGravatar letouzey2010-02-25
* Win32 cross-compilation from debian: build of coqide.exe and other binariesGravatar letouzey2010-02-24
* Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32Gravatar letouzey2010-02-18
* Mycamlbuild: change name of autogenerated file : NMake -> Nmake_genGravatar letouzey2010-02-12
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09
* Fix the build of coq via ocamlbuildGravatar letouzey2009-12-08
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Use camlp4 to accept some specific non-exhaustive patterns in groebnerGravatar letouzey2009-07-20
* ocamlbuild: right symlink for csdpcertGravatar letouzey2009-04-08
* Ocamlbuild: option for (not) building coqide, better log messagesGravatar letouzey2009-04-03
* Ocamlbuild: improvements suggested by N. PouillardGravatar letouzey2009-04-03
* Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo)Gravatar letouzey2009-03-30
* ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)Gravatar letouzey2009-03-29
* Ocamlbuild: 1st reasonably complete version (rules for binaries + plugins + vo)Gravatar letouzey2009-03-26
* ocamlbuild: coqide, coqchk, a bit of .voGravatar letouzey2009-03-26
* ocamlbuild improvements + minor makefile fixGravatar letouzey2009-03-24
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20