--- src/generator/Makefile.am	2008-08-27 00:39:49.000000000 -0400
+++ /Users/snc/Source/sbsat/src/generator/Makefile.am	2009-08-25 09:03:03.000000000 -0400
@@ -1,11 +1,21 @@
 INCLUDES=-I$(top_srcdir)/include
-EXTRA_DIST=testite.sh
+EXTRA_DIST=testite.sh slider3_base.py
 noinst_LIBRARIES = libgen.a
-libgen_a_SOURCES= xorgen.cc vanDerWaerden.cc rn.cc slider2.cc trans.cc rksat.cc \
-add_tree.cc #rand_bdd.cc
+libgen_a_SOURCES= xorgen.cc vanDerWaerden.cc rn.cc slider2.cc trans.cc \
+rksat.cc add_tree.cc #rand_bdd.cc
 
 bin_PROGRAMS = gentest
-gentest_SOURCES = gentest.cc
+gentest_SOURCES = gentest-seded.cc
 gentest_LDADD = libgen.a #../libsbsat.la $(LIBM)
 
+gentest-seded.cc: gentest.cc
+	$(SED) "s|__PREFIX__|@bindir@|" $< >$@
 
+bin_SCRIPTS = slider3.py
+CLEANFILES = $(bin_SCRIPTS) gentest-seded.cc
+
+slider3.py: slider3_base.py
+	rm -f slider3.py
+	echo "#! " $(PYTHON) > slider3.py
+	cat slider3_base.py >> slider3.py
+	chmod +x slider3.py
