--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/interps/unlambda/Makefile	Sun Dec 09 19:30:08 2012 +0000
@@ -0,0 +1,36 @@
+unlambda: unlambda.c
+	gcc -Wall -O10 -DNDEBUG=1 -fomit-frame-pointer -fschedule-insns2 \
+	-fstrict-aliasing -s unlambda.c -o unlambda -DUSE_SLASH
+
+unl: unlambda.c
+	gcc -Wall -g -DSILENT -DDEBUG_REFCOUNT -DUSE_SLASH\
+	unlambda.c -o unl
+
+unlambda-cov: unlambda.c paths.unl
+	cp unlambda.c unlambda-cov.c
+	gcc -Wall -O -DNDEBUG=1 -DUSE_SLASH -g -fprofile-arcs \
+	-ftest-coverage unlambda-cov.c -o unlambda-cov ; \
+	echo a | unlambda-cov paths.unl > /dev/null ; \
+	unlambda-cov paths2.unl > /dev/null ; \
+	unlambda-cov paths3.unl > /dev/null ; \
+	unlambda-cov paths4.unl > /dev/null ; \
+	unlambda-cov paths5.unl > /dev/null ; \
+	unlambda-cov &> /dev/null ; \
+	gcov unlambda-cov
+
+unlambda.new: unlambda.new.c
+	gcc -Wall -O10 -DNDEBUG=1 -fomit-frame-pointer -fschedule-insns2 \
+	-fstrict-aliasing -s unlambda.new.c -o unlambda.new -DUSE_SLASH
+
+unlambda.old: unlambda.old.c Makefile
+	gcc -Wall -O10 -DNDEBUG=1 -fomit-frame-pointer -fschedule-insns2 \
+	-fstrict-aliasing -s unlambda.old.c -o unlambda.old
+
+small: unlambda.small.c Makefile
+	gcc -Wall -O10 -DNDEBUG=1 -fomit-frame-pointer -fschedule-insns2 \
+	-finline-functions -finline-limit-1000000 \
+	-fstrict-aliasing unlambda.small.c -s -o small
+
+clean:
+	rm -f *.o *~ small unlambda unlambda.new unlambda.old unl \
+	unlambda-cov* *.gcov