--- Makefile 2007-11-12 10:10:25.000000000 -0500
+++ Makefile 2008-08-05 12:14:47.000000000 -0400
@@ -732,9 +732,9 @@
PARSERREQUIRESCMX=$(LINKCMX)
ifeq ($(BEST),opt)
- COQINTERFACE=bin/coq-interface$(EXE) bin/coq-interface.opt$(EXE) bin/parser$(EXE) bin/parser.opt$(EXE)
+ COQINTERFACE=bin/coq-interface$(EXE) bin/coq-interface.opt$(EXE) bin/coq-parser$(EXE) bin/coq-parser.opt$(EXE)
else
- COQINTERFACE=bin/coq-interface$(EXE) bin/parser$(EXE)
+ COQINTERFACE=bin/coq-interface$(EXE) bin/coq-parser$(EXE)
endif
pcoq-binaries:: $(COQINTERFACE)
@@ -752,12 +752,12 @@
PARSERCMO=$(PARSERREQUIRES) $(PARSERCODE)
PARSERCMX= $(PARSERREQUIRESCMX) $(PARSERCODE:.cmo=.cmx)
-bin/parser$(EXE):$(LIBCOQRUN) $(PARSERCMO)
+bin/coq-parser$(EXE):$(LIBCOQRUN) $(PARSERCMO)
$(SHOW)'OCAMLC -o $@'
$(HIDE)$(OCAMLC) -custom -linkall $(BYTEFLAGS) -o $@ \
dynlink.cma $(LIBCOQRUN) $(CMA) $(PARSERCMO)
-bin/parser.opt$(EXE): $(LIBCOQRUN) $(PARSERCMX)
+bin/coq-parser.opt$(EXE): $(LIBCOQRUN) $(PARSERCMX)
$(SHOW)'OCAMLOPT -o $@'
$(HIDE)$(OCAMLOPT) -linkall $(OPTFLAGS) -o $@ \
$(LIBCOQRUN) $(CMXA) $(PARSERCMX)
@@ -769,7 +769,7 @@
pcoq-files:: $(INTERFACEVO) $(INTERFACERC)
clean::
- rm -f bin/parser$(EXE) bin/parser.opt$(EXE) bin/coq-interface$(EXE) bin/coq-interface.opt$(EXE)
+ rm -f bin/coq-parser$(EXE) bin/coq-parser.opt$(EXE) bin/coq-interface$(EXE) bin/coq-interface.opt$(EXE)
# install targets
install-pcoq:: install-pcoq-binaries install-pcoq-files install-pcoq-manpages
@@ -782,7 +782,7 @@
$(MKDIR) $(FULLCOQLIB)/contrib/interface
cp $(INTERFACERC) $(FULLCOQLIB)/contrib/interface
-PCOQMANPAGES=man/coq-interface.1 man/parser.1
+PCOQMANPAGES=man/coq-interface.1 man/coq-parser.1
install-pcoq-manpages:
$(MKDIR) $(FULLMANDIR)/man1