clean

Author: Kamirus

CBV.v

@@ -44,7 +44,7 @@ HASNATDYNLINK     := $(COQMF_HASNATDYNLINK)
 OCAMLWARN         := $(COQMF_WARN)
 
 Makefile.conf: _CoqProject
-	coq_makefile -f _CoqProject CBV.v STLC_Generic.v stlc.v Terms.v -o Makefile
+	coq_makefile -f _CoqProject CBV_vs_CBN.v STLC_Generic.v stlc.v Terms.v -o Makefile
 
 # This file can be created by the user to hook into double colon rules or
 # add any other Makefile code he may need

Makefile

@@ -0,0 +1,4 @@
+#!/bin/bash
+
+rm -f *.aux .*.aux *.glob *.vo *.vok *.vos
+coq_makefile -f _CoqProject *.v -o Makefile