summaryrefslogtreecommitdiff
path: root/dune
Commit message (Expand)AuthorAgeFilesLines
* dune: fix buildThomas Refis2019-10-181-1/+2
* dune: add type_immediacyThomas Refis2019-10-021-1/+1
* dune: add linearThomas Refis2019-09-091-4/+4
* dune: add an alias @libs that is buildable on 4.09Thomas Refis2019-08-281-5/+18
* dune: disable warning 40Thomas Refis2019-05-061-2/+2
* Move some middle-end files around (#2281)Mark Shinwell2019-04-011-56/+86
* partial fix for the dune buildGabriel Scherer2019-03-311-7/+7
* Remove support for compiler plugins (#2276)Mark Shinwell2019-03-131-2/+1
* fix dune buildGabriel Scherer2019-02-201-1/+2
* update dune fileThomas Refis2019-02-141-3/+4
* remove typedtreeMap (#2173)Thomas Refis2018-11-291-1/+1
* update dune fileThomas Refis2018-11-261-1/+2
* fix dune build following natdynlink modifications (#2154)Thomas Refis2018-11-201-1/+2
* Provide a way to build the bytecode compiler using Dune (#2093)Thomas Refis2018-10-101-0/+175