index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
myocamlbuild.ml
Age
Commit message (
Expand
)
Author
2010-02-26
Some more adaptations for Debian-->mingw32
letouzey
2010-02-25
mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build script
letouzey
2010-02-24
Win32 cross-compilation from debian: build of coqide.exe and other binaries
letouzey
2010-02-18
Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32
letouzey
2010-02-12
Mycamlbuild: change name of autogenerated file : NMake -> Nmake_gen
letouzey
2009-12-09
Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...
letouzey
2009-12-08
Fix the build of coq via ocamlbuild
letouzey
2009-09-17
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-07-20
Use camlp4 to accept some specific non-exhaustive patterns in groebner
letouzey
2009-04-08
ocamlbuild: right symlink for csdpcert
letouzey
2009-04-03
Ocamlbuild: option for (not) building coqide, better log messages
letouzey
2009-04-03
Ocamlbuild: improvements suggested by N. Pouillard
letouzey
2009-03-30
Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo)
letouzey
2009-03-29
ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)
letouzey
2009-03-26
Ocamlbuild: 1st reasonably complete version (rules for binaries + plugins + vo)
letouzey
2009-03-26
ocamlbuild: coqide, coqchk, a bit of .vo
letouzey
2009-03-24
ocamlbuild improvements + minor makefile fix
letouzey
2009-03-20
Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey
