ocaml 3.09 transition

[helm.git] / helm / coq-contribs / LAMBDA-TYPES / Makefile

diff --git a/helm/coq-contribs/LAMBDA-TYPES/Makefile b/helm/coq-contribs/LAMBDA-TYPES/Makefile
index 76c27f9e23b3ea57280dd62e0b27c1fe0b1358ee..1648c32aaf05e10e53e5760fd925c4a6941e085d 100644 (file)
--- a/helm/coq-contribs/LAMBDA-TYPES/Makefile
+++ b/helm/coq-contribs/LAMBDA-TYPES/Makefile
@@ -113,17 +113,20 @@ VFILES=base_tactics.v\
   pr3_subst1.v\
   pr3_gen_context.v\
   pc1_defs.v\
+  pc1_props.v\
   pc3_defs.v\
   pc3_props.v\
   pc3_gen.v\
   pc3_subst0.v\
   pc3_gen_context.v\
   ty0_defs.v\
+  ty0_gen.v\
   ty0_lift.v\
   ty0_props.v\
   ty0_subst0.v\
   ty0_gen_context.v\
   csub0_defs.v\
+  csub0_props.v\
   ty0_sred.v\
   ty0_sred_props.v\
   LambdaDelta.v
@@ -184,17 +187,20 @@ all: base_tactics.vo\
   pr3_subst1.vo\
   pr3_gen_context.vo\
   pc1_defs.vo\
+  pc1_props.vo\
   pc3_defs.vo\
   pc3_props.vo\
   pc3_gen.vo\
   pc3_subst0.vo\
   pc3_gen_context.vo\
   ty0_defs.vo\
+  ty0_gen.vo\
   ty0_lift.vo\
   ty0_props.vo\
   ty0_subst0.vo\
   ty0_gen_context.vo\
   csub0_defs.vo\
+  csub0_props.vo\
   ty0_sred.vo\
   ty0_sred_props.vo\
   LambdaDelta.vo
@@ -265,17 +271,20 @@ xml:: .xml_time_stamp
   pr3_subst1.vo\
   pr3_gen_context.vo\
   pc1_defs.vo\
+  pc1_props.vo\
   pc3_defs.vo\
   pc3_props.vo\
   pc3_gen.vo\
   pc3_subst0.vo\
   pc3_gen_context.vo\
   ty0_defs.vo\
+  ty0_gen.vo\
   ty0_lift.vo\
   ty0_props.vo\
   ty0_subst0.vo\
   ty0_gen_context.vo\
   csub0_defs.vo\
+  csub0_props.vo\
   ty0_sred.vo\
   ty0_sred_props.vo\
   LambdaDelta.vo