diff options
| -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 $@' |