+#
+# Run the STACK tool on the sources, available here:
+#
+# http://css.csail.mit.edu/stack/
+#
+# Do the following to pass options to configure:
+#
+# make CONFIGFLAGS="--foo --bar" stack
+#
+
+.PHONY: stack
+stack:
+ stack-build ./configure $(CONFIGFLAGS)
+ stack-build $(MAKE) $(MFLAGS) clean all
+ poptck
+ $(MAKE) $(MFLAGS) distclean
+ $(RM) */*.ll
+ $(RM) */*.ll.out
+
+