diff options
author | Jason Gross <jgross@mit.edu> | 2017-04-03 17:36:48 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-04-03 17:36:48 -0400 |
commit | 5cec4b652afc082df88d0a93bc3bd32b417f9521 (patch) | |
tree | 289676f93296ce43277097b0c74ddb1fda73fef3 /Makefile | |
parent | 60f1da2e8600fd964fa957d7f65f6fd72c59ca45 (diff) |
Add note to makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -40,7 +40,10 @@ $(VOFILES): | coqprime # add files to this list to prevent them from being built by default UNMADE_VOFILES := src/SpecificGen/% src/Specific/%Display.vo -# add files to this list to prevent them from being built by the "lite" target +# add files to this list to prevent them from being built as final +# targets by the "lite" target +# N.B. if a file not in this list depends on one in this list, +# that file will be built by the "lite" target HEAVY_VOFILES := src/WeierstrassCurve/WeierstrassCurveTheorems.vo COQ_VOFILES := $(filter-out $(UNMADE_VOFILES),$(VOFILES)) |