diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-09 12:33:15 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-09 12:33:15 -0400 |
| commit | 77d2f8e3d5c64f08098328306ba7ca42ef8fa321 (patch) | |
| tree | 9ae9e775a40350dde77ece70ef6eb8f8bd29e96f /src/Util/ZUtil.v | |
| parent | 2ad2524dba1321e3facdba3c1142e7e7fbbe1634 (diff) | |
Makefile fixes
Fix the lite target to remove all transitive (reverse) dependencies.
Don't run `coqtop` to get the version unless we're actually going to use
it to build things
Diffstat (limited to 'src/Util/ZUtil.v')
0 files changed, 0 insertions, 0 deletions