From a71109d5a9244a82ba7940ce1b132bdca18f2651 Mon Sep 17 00:00:00 2001
From: "Ian A. Mason" <iam@csl.sri.com>
Date: Mon, 29 Jul 2019 16:39:02 -0700
Subject: [PATCH] Updating the examples to include the recent set.

---
 examples/thttpd/Makefile | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 examples/thttpd/Makefile

diff --git a/examples/thttpd/Makefile b/examples/thttpd/Makefile
new file mode 100644
index 0000000..2a5c826
--- /dev/null
+++ b/examples/thttpd/Makefile
@@ -0,0 +1,27 @@
+SRC="http://acme.com/software/thttpd/thttpd-2.27.tar.gz"
+
+all: thttpd.bc
+
+thttpd-2.27.tar.gz:
+	curl -L ${SRC} > thttpd-2.27.tar.gz
+
+
+thttpd-2.27.tar: thttpd-2.27.tar.gz
+	gunzip -k thttpd-2.27.tar.gz
+
+thttpd-2.27: thttpd-2.27.tar
+	tar xvf thttpd-2.27.tar
+
+thttpd-2.27/thttpd: thttpd-2.27
+	cd thttpd-2.27; CC=gclang ./configure; make; get-bc thttpd; mv thttpd.bc ..
+
+thttpd.bc: thttpd-2.27/thttpd
+	get-bc  -o thttpd.bc thttpd-2.27/thttpd
+
+clean:
+	rm -rf thttpd-2.27 thttpd-2.27.tar thttpd.bc thttpd
+
+spotless: clean
+	rm  -f thttpd-2.27.tar.gz
+
+.PHONY: clean distclean