Source

ocaml / Makefile

Author Commit Message Labels Comments Date
HongboZhang
Merge remote-tracking branch 'le/origin'
doligez
PR#5278: update Makefile message to mention "make world.opt"
garrigue
ocamlbuild-mixed-boot is not phony
garrigue
call ocamltoolsopt earlier
lefessan
Remove -g for ocamlopt in Makefile
lefessan
Remove dependency from typing/envaux.ml to bytecomp/instruct.ml
HongboZhang
add annot support for toplevel
HongboZhang
add annot flags for all Makefile
doligez
merge changes from 4.00 branching to 4.00.0 (part 1)
meyer
Install topdirs.cmi in stdlib (problem reported on the mailing list - unable to use install_printer)
lefessan
Fix problem of size of bin-annot files
doligez
PR#5218: use $(MAKE) instead of "make" in Makefiles
lefessan
merge with branch bin-annot
frisch
Enabled 'unused rec flag' warning.
frisch
Enable and fix more warnings.
frisch
Compile with warning 33, and remove unused opens.
xleroy
Makefile: typo in installoptopt entry
xleroy
Install compiler internals (as libraries + compiled interfaces + start modules)
lefessan
Reverting commits 12385 and 12370, while waiting for a decision to be taken to install compiler files for 4.0
lefessan
Add hooks in Asmgen
doligez
merge version 3.12 from 3.12.1 to r12205
xleroy
PR#5487: addition of CFI directives and a few filename/linenumber info to generated amd64 and i386 assembly files.
doligez
PR5477: (continued) fix Tcl/Tk configuration to use $x11_link instead of $x11_libs
doligez
fix configure on MacOSX/64-bit; add an option to configure or build without camlp4
frisch
Unused_var has been removed.
frisch
#5478: makes it possible to specify a custom 'ar' command.
xleroy
The "DBM" library (interface with Unix DBM key-value stores) is no
weis
Module Lnenum has vanished!
garrigue
merge branches/located_errors
doligez
PR#5238, PR#5277: Sys_error when getting error location
  1. Prev
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5
  7. 6
  8. 7
  9. 8
  10. 9
  11. Next