aboutsummaryrefslogtreecommitdiffhomepage
path: root/myocamlbuild.ml
Commit message (Expand)AuthorAge
* Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27
* Adding a stm/ folder, as asked during last workgroup. It was essentially movingGravatar Pierre-Marie Pédrot2014-04-25
* Coqmktop without Sys.command, changes in ./configure -*byteflags optionsGravatar Pierre Letouzey2014-01-30
* Coqdep always uses / as dir_sepGravatar Pierre Boutillier2013-12-20
* A few fixes to the build system (mostly for ocamlbuild)Gravatar Pierre Letouzey2013-12-16
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* coqc and coqmktop migrated in tools/, get rid of scripts/ subdirGravatar letouzey2013-04-18
* Coqmktop: dynlink is now mandatory due to Maxime's native-compilerGravatar letouzey2013-04-17
* 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
* Turn mltop.ml4 into a regular ocaml fileGravatar letouzey2012-10-06
* ocamlbuild simplificationsGravatar letouzey2012-10-06
* remove -rectypes except for term.mlGravatar letouzey2012-10-06
* myocamlbuild : fixes for new printing directory + sourceview for coqideGravatar letouzey2012-08-23
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Revert "when cross-compiling with mingw32, let's fix the Filename.dir_sep"Gravatar letouzey2012-08-23
* Port from 8.4 branch some build fixes concerning win32 :Gravatar letouzey2012-08-23
* place all files specific to camlp4 syntax extensions in grammar/Gravatar letouzey2012-05-29
* when cross-compiling with mingw32, let's fix the Filename.dir_sepGravatar letouzey2012-05-15
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* myocamlbuild: -DWIN32 instead of -DWin32Gravatar letouzey2011-12-23
* adapt myocamlbuild after changes in coqdep_boot (.beautify)Gravatar letouzey2011-12-21
* 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