* src/ltlparse/Makefile.am ($(FROM_LTLPARSE_YY_MAIN)):

Use $(FROM_LTLPARSE_YY_MAIN), not $@, because $@ can contains
VPATH and we do not want Bison to see absolute paths.
* src/tgbaparse/Makefile.am ($(FROM_TGBAPARSE_YY_MAIN)): Likewise.

ChangeLog

 2004-01-05  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/ltlparse/Makefile.am ($(FROM_LTLPARSE_YY_MAIN)):
+	Use $(FROM_LTLPARSE_YY_MAIN), not $@, because $@ can contains
+	VPATH and we do not want Bison to see absolute paths.
+	* src/tgbaparse/Makefile.am ($(FROM_TGBAPARSE_YY_MAIN)): Likewise.
+
 	* src/ltltest/parseerr.test: Adjust.
 	* src/ltlparse/ltlparse.yy: Simplify error handling now that Bison
 	will call destructors.  Give each operator a full name, so that

src/ltlparse/Makefile.am

-## Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+## Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 ## dpartement Systmes Rpartis Coopratifs (SRC), Universit Pierre
 ## et Marie Curie.
 ##
@@ -44,7 +44,7 @@ $(FROM_LTLPARSE_YY_MAIN): $(srcdir)/$(LTLPARSE_YY)
 ## in the generated include statements.
 	cd $(srcdir) && \
 	  bison --defines --locations --skeleton=lalr1.cc --report=all \
-	  $(LTLPARSE_YY) -o $@
+	  $(LTLPARSE_YY) -o $(FROM_LTLPARSE_YY_MAIN)
 $(FROM_LTLPARSE_YY_OTHERS): $(LTLPARSE_YY)
 	@test -f $@ || $(MAKE) $(AM_MAKEFLAGS) $(FROM_LTLPARSE_YY_MAIN)
 

src/tgbaparse/Makefile.am

-## Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+## Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 ## dpartement Systmes Rpartis Coopratifs (SRC), Universit Pierre
 ## et Marie Curie.
 ##
@@ -48,7 +48,7 @@ $(FROM_TGBAPARSE_YY_MAIN): $(srcdir)/$(TGBAPARSE_YY)
 ## in the generated include statements.
 	cd $(srcdir) && \
 	  bison --defines --locations --skeleton=lalr1.cc --report=all \
-	  $(TGBAPARSE_YY) -o $@
+	  $(TGBAPARSE_YY) -o $(FROM_TGBAPARSE_YY_MAIN)
 $(FROM_TGBAPARSE_YY_OTHERS): $(TGBAPARSE_YY)
 	@test -f $@ || $(MAKE) $(AM_MAKEFLAGS) $(FROM_TGBAPARSE_YY_MAIN)