Skip to content

Feature request: Add a new (enable_subst <bool>) stanza to dune-project #4848

@kit-ty-kate

Description

@kit-ty-kate

Desired Behavior

Very few people actually use dune subst but all the opam files have ["dune" "subst"] {dev} even if they are not using it.
Something to disable that and make dune subst fail if called and disabled would be very helpful.

This idea comes from a comment by @talex5 in #4806 (comment)

Example

$ cat dune-project
(lang dune 3.0)
(enable_subst false)
$ dune subst
Error: The use of "dune subst" has been disabled
$ echo $?
1

It would also remove the ["dune" "subst"] {dev} line from any generated opam file.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions