rename parser.pre.mly back to parser.pre

You must run ./config.status after this commit

rename parser.pre.mly back to parser.pre
You must run ./config.status after this commit
ff7b2bdd · Andrei Paskevich · af50751e · ff7b2bdd · ff7b2bdd · ff7b2bdd
Commit ff7b2bdd authored Jun 12, 2011 by Andrei Paskevich
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 9 deletions

.gitignore .gitignore +1 -3

Makefile.in Makefile.in +0 -6

src/parser/parser.mly src/parser/parser.mly +0 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -121,9 +121,7 @@ why.conf
 /src/parser/lexer.ml
 /src/parser/parser.ml
 /src/parser/parser.mli
-/src/parser/parser.pre.ml
-/src/parser/parser.pre.mli
-/src/parser/parser.pre.output
+/src/parser/parser.output

 # /src/tptp2why/
 /src/tptp2why/tptpLexer.ml

--- a/Makefile.in
+++ b/Makefile.in
@@ -160,12 +160,6 @@ LIBCMX = $(addsuffix .cmx, $(LIBMODULES))
 $(LIBCMO) $(LIBCMX): INCLUDES += $(LIBINCLUDES)
 $(LIBCMX): OFLAGS += -for-pack Why

-src/parser/parser.ml: src/parser/parser.pre.ml
-	cp $^ $@
-
-src/parser/parser.mli: src/parser/parser.pre.mli
-	cp $^ $@
-
 # build targets

 byte: src/why.cma

--- a/src/parser/parser.pre.mly
+++ b/src/parser/parser.pre.mly