[r2003-09-17 06:48:34 by cvscast] Empty log message

Original author: cvscast Date: 2003-09-17 06:48:34+00:00

[r2003-09-17 06:48:34 by cvscast] Empty log message
Original author: cvscast Date: 2003-09-17 06:48:34+00:00
9484fb56 · Pietro Abate · 5e225cc3 · 9484fb56 · 9484fb56
Commit 9484fb56 authored Oct 05, 2007 by Pietro Abate
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 2 deletions

Makefile Makefile +6 -0

Makefile.distrib Makefile.distrib +2 -2

No files found.
--- a/Makefile
+++ b/Makefile
 include Makefile.distrib

+
+# We put this rule here to avoid re-building wlexer.ml on
+# user installation (wlex may not be available)
+parser/wlexer.ml: parser/wlexer.mll
+	wlex parser/wlexer.mll
+
 # For development

 pull: tools/pull.$(EXTENSION)

--- a/Makefile.distrib
+++ b/Makefile.distrib
@@ -125,8 +125,8 @@ compute_depend: misc/q_symbol.cmo
 	ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) | \
        sed -e "s|: |: misc/q_symbol.cmo |" > depend

-parser/wlexer.ml: parser/wlexer.mll
-	wlex parser/wlexer.mll
+#parser/wlexer.ml: parser/wlexer.mll
+#	wlex parser/wlexer.mll

 clean:
 	for i in $(CLEAN_DIRS); do \