diff options
| author | Michael Soegtrop | 2019-12-20 11:09:55 +0100 |
|---|---|---|
| committer | Michael Soegtrop | 2019-12-23 15:38:35 +0100 |
| commit | 04ab17b9bafa372bac0dd9fa7bc300fd6c72d490 (patch) | |
| tree | 140ab7fcd82282642e2467f97b950c211523428c /kernel | |
| parent | 4bf98342425c20c062f0a861a658230668b06323 (diff) | |
Windows: switch OCaml to 4.08.1
- remove manual flexlink circular dependency handling
- use standard configure process instead of hand made windows make files
- enable parallel build
- remove bootstrapping step (maybe should be there for release builds)
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions