summaryrefslogtreecommitdiff
path: root/otherlibs/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Runtime_events tracing systemSadiq Jaffer2022-05-241-1/+1
* Fix otherlibs/Makefile (follow-up to #11160).Sébastien Hinderer2022-04-111-0/+7
* otherlibs: Merge win32unix into unixSébastien Hinderer2022-04-101-4/+1
* Remove `Stream`, `Genlex`, `Pervasives` & the legacy `bigarray` library (#10896)Nicolás Ojeda Bär2022-01-201-1/+1
* Add the distclean target to the makefiles under otherlibsSébastien Hinderer2022-01-181-1/+2
* Remove SpacetimeNicolás Ojeda Bär2020-10-081-1/+1
* makefiles: move the inclusion of Makefile.build_config in Makefile.commonGabriel Scherer2020-05-061-1/+0
* Introduce Makefile.build_config.inDavid Allsopp2020-04-171-2/+2
* Ensure make distclean works on an unconfigured treeDavid Allsopp2019-10-151-0/+3
* Allow make to be invoked before configureDavid Allsopp2018-12-041-2/+2
* otherlibs/Makefile with 'all allopt clean partialclean'Gabriel Scherer2018-11-121-0/+35
* rename otherlibs/Makefile into otherlibs/Makefile.otherlibs.commonGabriel Scherer2018-11-121-125/+0
* Move config/Makefile to Makefile.configSébastien Hinderer2018-09-171-1/+1
* Remove space from end of FLEXLINK_ENVDavid Allsopp2018-09-071-3/+2
* Move FLEXLINK_ENV definition to Makefile.commonDavid Allsopp2018-09-071-8/+0
* Standardise setting and use of OCAML_FLEXLINKDavid Allsopp2018-09-071-4/+7
* (minor) remove unused CAMLYACC variablesGabriel Scherer2018-09-011-1/+0
* Merge the asmrun and byterun directories into the runtime directorySébastien Hinderer2018-06-281-1/+1
* Merge pull request #1821 from gasche/makefiles-consistent-opt-targetsGabriel Scherer2018-06-241-0/+2
|\
| * makefiles: consistently offer *both* 'allopt' and 'opt.opt' targetsGabriel Scherer2018-06-071-0/+2
* | Rename C compiler related build variablesSébastien Hinderer2018-06-201-3/+3
* | Rename build variable SHAREDCCCOMPOPTS to SHAREDLIB_CFLAGSSébastien Hinderer2018-06-201-1/+1
|/
* Add configure options to control installation of source artifacts (#1777)Mark Shinwell2018-05-141-1/+7
* factorize common makefile definitions in Makefile.commonGabriel Scherer2018-03-291-7/+2
* makefiles: turn the 'install' command into a variableGabriel Scherer2018-03-291-9/+10
* makefiles: use 'install' instead of 'cp' in 'make install' targetsGabriel Scherer2018-03-291-7/+19
* Introduce and use the OUTPUTEXE and OUTPUTOBJ build variablesSébastien Hinderer2017-03-291-1/+1
* Define new build variables for C compiler and preprocessor flagsSébastien Hinderer2017-03-291-3/+3
* Get rid of BYTECC and NATIVECCSébastien Hinderer2017-03-291-3/+3
* improve installation of additional material (#827)hendriktews2016-10-211-1/+2
* fix whitespace, long lines, headersDamien Doligez2016-08-011-1/+2
* otherlibs/Makefile{,.shared,.nt}: merge.whitequark2016-03-171-4/+93
* Update headers for the new license.Damien Doligez2016-02-181-12/+14
* remove redundant -O option from C compiler argumentsDamien Doligez2015-07-221-2/+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-2/+2
* do not use -O flag when compiling with MS's C compilerDamien Doligez2015-03-181-1/+2
* fix some of the whitespace problems in the sourceDamien Doligez2014-04-121-1/+2
* Get rid of ocamlcomp.sh. The next step is to share all those common declarat...Alain Frisch2014-04-021-2/+2
* Reverting the elimination of the ocamlcomp*.sh scripts, namely the following ...Xavier Leroy2013-11-291-5/+3
* build: ocamlmklib on Windows expect a Windows-style path, not a UNIX one.Wojciech Meyer2013-09-221-2/+2
* build: replace ocamlcomp*.sh.Wojciech Meyer2013-09-201-3/+5
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Fixes for BSD make.Alain Frisch2007-11-081-3/+3
* Don't use BYTECCCOMPOPTS twice.Alain Frisch2007-11-071-1/+1
* Merge the natdynlink branch into HEAD.Alain Frisch2007-11-061-0/+24
View Lorry Controller Status