This feature has been mentioned in passing a few other times in the bug tracker, so I'd like to create an official issue to track it.

Problem

The glob language is quite useful when describing file sets, but unfortunately it encourages a "flat" dependency structure in your project. Sometimes, a glob has to span directories recursively.

Solution

The solution is to add **/ pattern. This pattern is interpreted as matching zero or more path components. So for example, we'd be able to depend on all coq files recursively using this pattern:

(deps (coq (glob_files theories/**/*.v))

Cc'ing @ejgallego as he is currently using find/bash to workaround the lack of this. I've found this to be useful in a few other situations as well.