summaryrefslogtreecommitdiff
path: root/stdlib/dune
Commit message (Expand)AuthorAgeFilesLines
* Fix dune build of stdlibAntonin Décimo2023-04-041-21/+1
* Fix dune stanza for stdlib: change of nameHyunggyu Jang2022-05-011-2/+6
* Normalize the minor version number of the compiler (#11049)Sébastien Hinderer2022-02-241-1/+1
* Atomic: clarify copyright and update documentationGuillaume Munch-Maccagnoni2022-02-211-2/+1
* dune: fix @libs alias (#10985)Thomas Refis2022-02-031-2/+18
* fix the dune build after #10577Gabriel Scherer2021-08-241-8/+0
* Use capital letters for stdlib modulesDavid Allsopp2021-01-211-2/+1
* dune files cleanupThomas Refis2021-01-191-8/+2
* dune: build stdlib without injectivity annotations (#9932)Thomas Refis2020-09-221-1/+5
* dune: temporarily remove use of new primitive before buildingThomas Refis2020-06-241-2/+5
* Fix dune buildGuillaume Munch-Maccagnoni2020-06-101-1/+1
* Implement at_exit with AtomicsGuillaume Munch-Maccagnoni2020-05-161-1/+2
* dune: fix stdlib buildThomas Refis2018-12-041-59/+1
* stdlib/dune: add new modulesThomas Refis2018-11-081-1/+4
* Provide a way to build the bytecode compiler using Dune (#2093)Thomas Refis2018-10-101-0/+91