from Valentin David <valentin@lrde.epita.fr>

	* src/syn/Makefile.am: Use stratego-regular to generate the signature.

	* src/syn/BoxedSdf2.str: Delete.

boxedsdf/ChangeLog

+2004-05-04  Valentin David  <valentin@lrde.epita.fr>
+
+	* src/syn/Makefile.am: Use stratego-regular to generate the signature.
+
+	* src/syn/BoxedSdf2.str: Delete.
+
 2004-05-03  Valentin David  <valentin@lrde.epita.fr>
 
 	* test/2sdf.test: Delete.

boxedsdf/src/syn/BoxedSdf2.str

-module BoxedSdf2
-imports Sdf2 pp-table
-signature
-  constructors
-    BoxedAttr : Pplist -> Attribute
-    Path2     : List(Selector) -> Path2
-    pplist    : List(Pathed) -> Pplist
-    Pathed    : Option(Path2) * BOX-LIST -> Pathed

boxedsdf/src/syn/Makefile.am

@@ -2,25 +2,14 @@
 
 include $(top_srcdir)/config/Makefile.xt
 
-pkgdata_DATA	= BoxedSdf2.tbl BoxedSdf2.def BoxedSdf2.rtree
+pkgdata_DATA	= BoxedSdf2.tbl BoxedSdf2.def BoxedSdf2.rtree BoxedSdf2.str
 sdfdata_DATA	= BoxedSdf2.sdf
 PGEN_FLAGS	= -m $*
 SDFINCLUDES	= -I $(GPP)/share/sdf/gpp \
 		  -I $(top_builddir)/lib/sdf-pgen
 CLEANFILES	= $(pkgdata_DATA)
-EXTRA_DIST	= BoxedSdf2.sdf BoxedSdf2.str
+EXTRA_DIST	= BoxedSdf2.sdf
 
-#FIXME: Generation of signature is broken. Change when fixed.
-
-# Disable sdf-to-sig
 BoxedSdf2.str: BoxedSdf2.def
-	@if test x$(srcdir) = x.; then \
-	  touch $@; \
-	else \
-	  cp $(srcdir)/$@ $@; \
-	fi
-clean-generic:
-	-test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
-	@if ! test x$(srcdir) = x.; then \
-	  rm -f BoxedSdf2.str; \
-	fi
+	$(STRATEGO_REGULAR)/bin/sdf2rtg -i $< -m BoxedSdf2 | \
+	  $(STRATEGO_REGULAR)/bin/rtg2sig -o $@