diff options
Diffstat (limited to 'sparsify/.depend')
| -rw-r--r-- | sparsify/.depend | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/sparsify/.depend b/sparsify/.depend new file mode 100644 index 00000000..9b7f865a --- /dev/null +++ b/sparsify/.depend @@ -0,0 +1,7 @@ +progress.cmi: +progress.cmo: utils.cmo progress.cmi +progress.cmx: utils.cmx progress.cmi +sparsify.cmo: utils.cmo progress.cmi +sparsify.cmx: utils.cmx progress.cmx +utils.cmo: +utils.cmx: |