Bump dune version

[hrutvik]

Require 3.14 minimum. In practice, this means getting 3.15.3 from opam.

The motivation for this is that dynamic_include was introduced in 3.14, which allows dune files to be generated on-the-fly and included without checking in to the source repo - see these docs. This allows for a pattern where e.g.

• test files and their expected outputs are checked in
• dune runtest generates a dune file on-the-fly, containing a rule for each test + expected output, and each rule runs a test harness to check actual vs. expected outputs
• dune functionality such as diffing and promotion work as expected

[hrutvik]

@solswords I notice that acl2/asl/aslreftests/dune-project has lang dune 3.16, which I think may be beyond our minimum supported version. Is there a need for any 3.16-specific functionality, or could e.g. 3.14 suffice?

[fsestini]

Hi @hrutvik , is this still a draft/work-in-progress or is it ready for review?
If it's ready, could you please add to the PR description the motivation for this bump, just for our records?

[hrutvik]

Updated!

[fsestini]

Thank you!

[solswords]

3.14 seems to work -- feel free to change it.

…

On Mon, Aug 3, 2026 at 9:45 AM Hrutvik Kanabar ***@***.***> wrote: *hrutvik* left a comment (herd/herdtools7#1948) <#1948 (comment)> @solswords <https://github.com/solswords> I notice that acl2/asl/aslreftests/dune-project has lang dune 3.16, which I think may be beyond our minimum supported version. Is there a need for any 3.16-specific functionality, or could e.g. 3.14 suffice? — Reply to this email directly, view it on GitHub <#1948?email_source=notifications&email_token=ABJLGKPHDOJMGX4B2BHVIAT5ICQRHA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTKMJWG44DMMRTG4YKM4TFMFZW63VHNVSW45DJN5XKKZLWMVXHJLDGN5XXIZLSL5RWY2LDNM#issuecomment-5167862370>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABJLGKJI6IP3O4WROZONGQL5ICQRHAVCNFSNUABEKJSXA33TNF2G64TZHM3TGMJQGQZDEMZ3JFZXG5LFHM2TANJRGAYDGNJTHGQXMAQ> . Triage notifications, keep track of coding agent tasks and review pull requests on the go with GitHub Mobile for iOS <https://github.com/notifications/mobile/ios/ABJLGKJSOAWA2ASHEDENI4L5ICQRHA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTKMJWG44DMMRTG4YKM4TFMFZW63VHNVSW45DJN5XKKZLWMVXHJKTGN5XXIZLSL5UW64Y> and Android <https://github.com/notifications/mobile/android/ABJLGKOJM3HKYRGFPENLIJL5ICQRHA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTKMJWG44DMMRTG4YKM4TFMFZW63VHNVSW45DJN5XKKZLWMVXHJLTGN5XXIZLSL5QW4ZDSN5UWI>. Download it today! You are receiving this because you were mentioned.Message ID: ***@***.***>

[fsestini]

Hi @hrutvik , do you think this can now be rebased and merged?

[hrutvik]

Apologies, yes - will merge once CI passes