From bda594ddbea746fe9ad2527849948a32200f3c6e Mon Sep 17 00:00:00 2001
From: "Ian A. Mason" <iam@csl.sri.com>
Date: Tue, 30 Jul 2019 15:41:17 -0700
Subject: [PATCH] httping example.

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

diff --git a/examples/httping/Makefile b/examples/httping/Makefile
new file mode 100644
index 0000000..0a87bba
--- /dev/null
+++ b/examples/httping/Makefile
@@ -0,0 +1,29 @@
+# sudo apt-get install gettext
+SRC=httping-2.5
+TAR=${SRC}.tgz
+URL=https://www.vanheusden.com/httping/${TAR}
+
+
+all: httping.bc
+
+${TAR}:
+	wget ${URL}
+
+${SRC}: ${TAR}
+	tar xvfz ${TAR}
+
+${SRC}/httping: ${SRC}
+	cd ${SRC}; CC=gclang ./configure; CC=gclang make
+
+httping.bc: ${SRC}/httping
+	get-bc -m -o httping.bc ${SRC}/httping
+
+
+clean:
+	rm -rf *.bc *.bca *.manifest
+	rm -rf slash_specialized
+	make -C ${SRC} clean
+
+
+spotless: clean
+	rm -rf ${SRC} ${TAR}