Skip to content

[Draft] Specification of the dune tools implementation #15543

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
shonfeder wants to merge 72 commits into
base: main
Choose a base branch
from
+2,490 −0
Draft

[Draft] Specification of the dune tools implementation #15543

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
72 commits
Select commit Hold shift + click to select a range
609a102
Add initial draft of tool management design
shonfeder Jan 26, 2026
b03b1a5
update opening paragraph
Alizter Mar 4, 2026
0f63fd8
remove terminology section
Alizter Mar 4, 2026
68bb3f9
fix numbering
Alizter Mar 4, 2026
e7bb128
update requirements, issues and research
Alizter Mar 4, 2026
6b1d9d3
Fix summary
shonfeder May 26, 2026
b32704c
Make design principles its own section
shonfeder May 26, 2026
4667076
Recover terminology
shonfeder May 26, 2026
3c72d15
Remove non-requirements section
shonfeder May 26, 2026
8240b4d
Fix design principles
shonfeder May 26, 2026
5f8240a
Consolidate and fix terminology
shonfeder May 26, 2026
2692a5e
Fix section order
shonfeder May 26, 2026
8124645
Fixes to how to read
shonfeder May 26, 2026
63809e7
Explain design principles
shonfeder May 26, 2026
cc08d27
Define a well formed opam package
shonfeder May 26, 2026
ae82a64
Fix roadmap reference
shonfeder May 26, 2026
f346584
Fix generality
shonfeder May 26, 2026
23205d1
rm outdated CR
shonfeder May 26, 2026
f649f37
Move CR into "Ideas" section
shonfeder May 26, 2026
f418f7f
Recover system wide req
shonfeder May 26, 2026
55e0765
Move idea
shonfeder May 26, 2026
4a52a62
Resolve binary selection
shonfeder May 26, 2026
8aff54d
Open problem on version consistency
shonfeder May 26, 2026
03615f5
Recover shells requirement
shonfeder May 26, 2026
ca703e0
Fix programatic use
shonfeder May 26, 2026
19ed740
Update toc
shonfeder Jul 7, 2026
54f8380
Remove "Non-requirements" section
shonfeder Jul 8, 2026
9608f7d
updat toc
shonfeder Jul 8, 2026
8896f92
Split req and impl specs into different files
shonfeder Jul 8, 2026
8693e58
Update links and expand/tweak specs
shonfeder Jul 8, 2026
7622a35
Add Ambre and Sudha as authors
shonfeder Jul 10, 2026
172fbfe
Typo fixes
shonfeder Jul 10, 2026
2e2d909
Clarify terminology
shonfeder Jul 10, 2026
8ca6903
Clarify common topic of "scope"
shonfeder Jul 10, 2026
f8144a0
Clarify some wording
shonfeder Jul 10, 2026
4f4fbe1
Remove requirements for multiple version installations
shonfeder Jul 10, 2026
93a684e
Remove implementation details
shonfeder Jul 10, 2026
06c9ce0
Add motivation for binary selection
shonfeder Jul 10, 2026
36a43b2
Add requirement for installing tool by name
shonfeder Jul 10, 2026
41d26ab
Add note on feasability
shonfeder Jul 10, 2026
77217e3
Remove req for running specific version of tool
shonfeder Jul 10, 2026
47b5bd2
Move implementation notes into correct document
shonfeder Jul 10, 2026
503213e
Fix req numbering
shonfeder Jul 10, 2026
8870bb9
Move editor integration notes into implementation doc
shonfeder Jul 10, 2026
2587de9
Fix wording
shonfeder Jul 10, 2026
bee465a
Add orthoginal execuation req
shonfeder Jul 10, 2026
2d82fdd
Add notes on the tooling spectrum
shonfeder Jul 10, 2026
abd92c3
Add todo
shonfeder Jul 10, 2026
d5c2bc0
First stab at specifying the tool-dependency problem
shonfeder Jul 13, 2026
2181996
Updates from design discussions today
shonfeder Jul 15, 2026
2df2031
Add notes from issue triaging
Sudha247 Jul 16, 2026
dab2105
Move impl stuff into impl doc
shonfeder Jul 16, 2026
e979fbb
Clarify and extend principles
shonfeder Jul 16, 2026
c3903da
Try to fix formatting
shonfeder Jul 16, 2026
317e5ab
Fix formatting
shonfeder Jul 16, 2026
88e11c2
Apply formatting fix to other locations
shonfeder Jul 16, 2026
7c55839
Fix title
shonfeder Jul 16, 2026
744e404
Move issue to proper section
shonfeder Jul 16, 2026
c9786d4
Update after our design meeting today
shonfeder Jul 17, 2026
c4346d7
Update TOC
shonfeder Jul 17, 2026
7cec859
Fix related issues location
shonfeder Jul 18, 2026
cc4cb52
Flesh out integration axis and improve organization
shonfeder Jul 18, 2026
456df00
Fill in motivation for dependency isolation
shonfeder Jul 18, 2026
a39ccc3
Fix wording for optimal bluilds req
shonfeder Jul 18, 2026
59452c3
Rephrase tool integration requirement
shonfeder Jul 18, 2026
de8f2fa
Generalize respecting integration constraints
shonfeder Jul 18, 2026
7c366fc
Finish cleaning up organization and fleshing out spectra
shonfeder Jul 19, 2026
3801635
Remove implementation spec
shonfeder Jul 19, 2026
eabd39b
Revert "Remove implementation spec"
shonfeder Jul 19, 2026
8d3c225
Update TOC generation script
Sudha247 Jul 28, 2026
9a034f2
Extend tool stanza to include more details
Sudha247 Jul 28, 2026
8ba90eb
Add CR about dune tools commands editing the dune-workspace
Sudha247 Jul 29, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading