diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-07-16 16:47:23 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-07-16 16:47:23 +0000 |
| commit | 3202711c3197f02dd498fbe9f018d1f12b74de7a (patch) | |
| tree | d061db98dc9c112ba5409abd6ab20fc449d7a272 /Makefile | |
| parent | 08296b49c6c4b1c53b1f65abba071ac3ed3dddb8 (diff) | |
Suppression compilation explication.ml4
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5916 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -656,13 +656,11 @@ INTERFACE=\ contrib/interface/history.cmo \ contrib/interface/name_to_ast.cmo contrib/interface/debug_tac.cmo \ contrib/interface/showproof_ct.cmo contrib/interface/showproof.cmo \ - contrib/interface/blast.cmo contrib/interface/centaur.cmo \ -# contrib/interface/explication.cmo + contrib/interface/blast.cmo contrib/interface/centaur.cmo INTERFACECMX=$(INTERFACE:.cmo=.cmx) -ML4FILES += contrib/interface/debug_tac.ml4 contrib/interface/centaur.ml4 \ - contrib/interface/explication.ml4 +ML4FILES += contrib/interface/debug_tac.ml4 contrib/interface/centaur.ml4 PARSERREQUIRES=$(CMO) # Solution de facilité... PARSERREQUIRESCMX=$(CMX) |