Dune run external command without targets

@mariopereira wrote:

Hi all,

For an opam package of mine, that I have pinned, after building the sources I need to run an external program. I was think about using the (action (run ...)) stanza, but the problem is that my external program does not produce any file, so I would have an empty targets list.

I was thinking about something as follows:

(rule
  (targets )
  (deps plugin_why3gospel.cmxs)
  (action (run why3 config --install-plugin %{deps})))

but of course this will fail due the empty targets list.

Is there any way to say in my dune file that I need to run why3 config ... ?

Posts: 4

Participants: 2

Read full topic