For writing rules for a build system it would be interesting to have a way to compute the dependencies of an
More precisely for the extraction we want to know all the file that will be used by why3:
- because of clone the dependencies must be recursive
- it still be nice to be able to choose recursive or not for perhaps avoiding parsing many times the same dependency.
Note de GT
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information