summaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Instrumentation for american fuzzy lop (afl-fuzz) (#504)Stephen Dolan2016-12-061-0/+1
* Improve handling of platforms that do not have gprof profiling support (#933)Sébastien Hinderer2016-11-251-0/+1
* Revert "Improve handling of platforms that do not have gprof profiling suppor...Gabriel Scherer2016-11-251-1/+0
* Fix install of symlinks with installopt but without installoptopt. (#932)whitequark2016-11-251-2/+6
* Improve handling of platforms that do not have gprof profiling support (#933)Sébastien Hinderer2016-11-251-0/+1
* Clarify and slightly modify the use of C compiler related make variables.Sébastien Hinderer2016-11-161-2/+2
* improve installation of additional material (#827)hendriktews2016-10-211-9/+20
* Merge pull request #735 from lefessan/2016-08-02-with-prof-idFabrice Le Fessant2016-09-051-0/+1
|\
| * Add --reserved-header-bits XX to ./configureFabrice Le Fessant2016-08-291-0/+1
* | Update root makefile manual-pregen targetoctachron2016-09-021-3/+2
* | GPR#693: add a manual-pregen makefile targetoctachron2016-09-021-0/+6
|/
* Make sure ocamlnat is built with a $(EXE) extension.Sébastien Hinderer2016-08-011-3/+3
* Share the rules needed to build the native toplevel.Sébastien Hinderer2016-08-011-17/+1
* fix whitespace, long lines, headersDamien Doligez2016-08-011-6/+12
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-0/+4
* fix GPR#587: install byte-code versions of ocamlc and ocamllexDamien Doligez2016-07-201-2/+2
* "./configure -safe-string" to force safe-string modealainfrisch2016-07-191-0/+1
* Remove dependency on Dynlink in ocamlnatFabrice Le Fessant2016-07-181-1/+1
* Add plugins in the compilerFabrice Le Fessant2016-07-181-4/+9
* Add a target `make reconfigure` to restart configure with the same optionsFabrice Le Fessant2016-07-131-0/+3
* Support check_all_arches under Windows. Make it more robust by removing all ...alainfrisch2016-07-111-28/+0
* Install native versions of tools by default.Demi Obenour2016-06-061-7/+13
* Merge remote-tracking branch 'origin/4.03' into trunkFrançois Bobot2016-03-111-4/+5
|\
| * * Fix coreboot target. This target calls promote, which itself nowJacques-Henri Jourdan2016-03-071-1/+1
| * Makefile: use "$(EXT_DLL)" instead of hard-cording ".so".Adrien Nader2016-03-051-3/+4
| * tweak tools/check-typo and break more overlong linesDamien Doligez2016-02-191-13/+14
* | GPR#324: Make boot/ocamlc read directly byterun/primitives (patch by Francois...alainfrisch2016-03-101-1/+1
* | An quick way to ensure that ocamlopt compiles fine on supported archs.Alain Frisch2016-03-091-40/+33
* | tweak tools/check-typo and break more overlong linesDamien Doligez2016-02-191-13/+14
|/
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* clean up whitespace and cut long linesDamien Doligez2016-02-171-3/+6
* Move more stuff into Makefile.shared in order to fix the build on Windows.alainfrisch2016-02-111-28/+1
* Fix ocamlobjinfo for Flambda (includes work from Runhang Li)Mark Shinwell2016-02-101-1/+10
* remove ocamlbuild from the compiler distributionGabriel Scherer2016-02-011-27/+6
* Add middle_end to MakefilesPierre Chambart2016-01-221-7/+13
* Add field in Config for flambda and change the cmx and cmxa magic numberPierre Chambart2016-01-141-0/+1
* Install compiler libs .cmx filesLeo White2015-12-261-0/+2
* Makefile: add a 'natruntop' target, similar to 'runtop'Thomas Refis2015-12-181-0/+8
* make ocamlnat build againJeremie Dimino2015-12-181-3/+21
* Merge pull request #340 from ocaml/stripped-bootstrapXavier Leroy2015-12-181-5/+6
|\
| * Strip debugging information off the bootstrap compilers, to reduce their sizeXavier Leroy2015-12-091-5/+6
* | Makefile: a 'runtop' target to build and run the toplevelGabriel Scherer2015-12-111-0/+8
|/
* Starting to share identical parts in the root Makefile and Makefile.nt.Alain Frisch2015-10-231-120/+2
* GPR#173: Attributes to control inliningMark Shinwell2015-10-231-1/+2
* Add parsing/Attr_helperJérémie Dimino2015-10-061-1/+1
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-1/+1
* Update wrt trunk (r16374).Xavier Leroy2015-08-251-2/+3
|\
| * add option handling for colors in compiler, OCAMLPARAM and ocamlbuildGabriel Scherer2015-08-151-2/+3
* | Remove -Werror from the C compiler flags used by ocamlc/ocamlopt when compili...Xavier Leroy2015-08-061-0/+1
|/
* merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-171-11/+12