Skip to content

Is it possible to specify dependencies for an instrumenter? #3983

@nojb

Description

@nojb

Is it possible to specify dependencies for an instrumenter? For example, in Bisect, we previously recommended using (preprocessor_deps ...) to give the filename of the exclusions file, i.e.

(preprocess (pps bisect_ppx --exclusions bisect.exclude))
(preprocessor_deps (file bisect.exclude))

Doing this now with

(instrumentation (backend bisect_ppx --exclusions bisect.exclude))
(preprocessor_deps (file bisect.exclude))

results in

5 |  (preprocessor_deps (file bisect.exclude))
     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This preprocessor_deps field will be ignored because no preprocessor
that might use them is configured.

Originally posted by @aantron in #3932 (comment)

Metadata

Metadata

Assignees

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