comparison Makefile @ 297:b441010125d4

Everything compiles in Coq 8.3pl1
author Adam Chlipala <adam@chlipala.net>
date Fri, 14 Jan 2011 14:39:12 -0500
parents 693897f8e0cb
children 7b38729be069
comparison
equal deleted inserted replaced
296:559ec7328410 297:b441010125d4
1 MODULES_NODOC := Axioms Tactics MoreSpecif DepList 1 MODULES_NODOC := Tactics MoreSpecif DepList
2 MODULES_PROSE := Intro 2 MODULES_PROSE := Intro
3 MODULES_CODE := StackMachine InductiveTypes Predicates Coinductive Subset \ 3 MODULES_CODE := StackMachine InductiveTypes Predicates Coinductive Subset \
4 MoreDep DataStruct Equality Generic Universes Match Reflection \ 4 MoreDep DataStruct Equality Generic Universes Match Reflection \
5 Large Firstorder DeBruijn Hoas Interps Extensional Intensional OpSem 5 Large Firstorder DeBruijn Hoas Interps Extensional Intensional OpSem
6 MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) 6 MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE)