Commit 9645c551 authored by david_v's avatar david_v
Browse files

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

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

	* src/syn/DetBoxedSdf.str: Delete.

2004-05-04  Valentin David  <valentin@lrde.epita.fr>
parent e291bdc5
2004-05-04 Valentin David <valentin@lrde.epita.fr>
* src/syn/Makefile.am: Use stratego-regular to generate the
signature.
* src/syn/DetBoxedSdf.str: Delete.
2004-05-04 Valentin David <valentin@lrde.epita.fr>
* src/detgen/detgen.str: Put double quotes on keywords of
......
module DetBoxedSdf
imports BoxedSdf2
signature
constructors
dettag : SdfLiteral -> Attribute
dettag2 : SdfLiteral * NatCon -> Attribute
......@@ -2,25 +2,13 @@
include $(top_srcdir)/config/Makefile.xt
STRS = DetBoxedSdf.str
RTREES = $(STRS:.str=.rtree)
pkgdata_DATA = DetBoxedSdf.tbl DetBoxedSdf.def $(RTREES)
pkgdata_DATA = DetBoxedSdf.tbl DetBoxedSdf.def DetBoxedSdf.rtree
sdfdata_DATA = DetBoxedSdf.sdf
PGEN_FLAGS = -m $*
SDFINCLUDES = -I $(top_builddir)/lib/boxedsdf
CLEANFILES = $(pkgdata_DATA)
EXTRA_DIST = DetBoxedSdf.sdf DetBoxedSdf.str
CLEANFILES = $(pkgdata_DATA) DetBoxedSdf.str
EXTRA_DIST = DetBoxedSdf.sdf
#FIXME: Signature generation broken.
$(STRS): DetBoxedSdf.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 DetBoxedSdf.str; \
fi
DetBoxedSdf.str: DetBoxedSdf.def
$(STRATEGO_REGULAR)/bin/sdf2rtg -i $< -m DetBoxedSdf | \
$(STRATEGO_REGULAR)/bin/rtg2sig -o $@
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment