Only build RecordSet.vo

tchajed · Aug 7, 2018 · c9ef8cb · c9ef8cb
1 parent 97375ca
commit c9ef8cb
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -11,7 +11,7 @@ Makefile.coq: _CoqProject
 clean:
 	make -f Makefile.coq clean
 
-install:
+install: RecordSet.vo
 	make -f Makefile.coq install
 
 .PHONY: default examples clean install
diff --git a/_CoqProject b/_CoqProject
@@ -1,4 +1,3 @@
 -R . RecordSet
 
 RecordSet.v
-Examples.v