diff options
| author | herbelin | 2004-05-04 14:28:48 +0000 |
|---|---|---|
| committer | herbelin | 2004-05-04 14:28:48 +0000 |
| commit | 8567e6a4e6e276a3239bf61681731331fd34e168 (patch) | |
| tree | bed7a395ca885d7181e4f238ec51b03d4c6d66ed | |
| parent | 04ace1584a214476918b21901925aafcf92fb441 (diff) | |
Typo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5726 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -655,10 +655,13 @@ 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/blast.cmo contrib/interface/centaur.cmo \ +# contrib/interface/explication.cmo + INTERFACECMX=$(INTERFACE:.cmo=.cmx) -ML4FILES += contrib/interface/debug_tac.ml4 contrib/interface/centaur.ml4 +ML4FILES += contrib/interface/debug_tac.ml4 contrib/interface/centaur.ml4 \ + contrib/interface/explication.ml4 PARSERREQUIRES=$(CMO) # Solution de facilité... PARSERREQUIRESCMX=$(CMX) @@ -682,7 +685,7 @@ bin/coq-interface.opt$(EXE): $(COQMKTOP) $(CMX) $(USERTACCMX) $(INTERFACECMX) PARSERCODE=contrib/interface/line_parser.cmo contrib/interface/vtp.cmo \ contrib/interface/xlate.cmo contrib/interface/parse.cmo PARSERCMO=$(PARSERREQUIRES) $(PARSERCODE) -PARSERCMX= $(PARSERREQUIRESCMX) $(PARSECODE:.cmo=.cmx) +PARSERCMX= $(PARSERREQUIRESCMX) $(PARSERCODE:.cmo=.cmx) bin/parser$(EXE): $(PARSERCMO) $(SHOW)'OCAMLC -o $@' |