From b9354617b911bdec996c21a8e22f8c6f52d6c51d Mon Sep 17 00:00:00 2001
From: Michael Norrish <Michael.Norrish@nicta.com.au>
Date: Mon, 24 Oct 2011 13:29:46 +1100
Subject: [PATCH] New ifdef functionality simplifies Holmakefile in
 computability/lambda example.

---
 examples/computability/lambda/Holmakefile | 16 ++++++----------
 1 file changed, 6 insertions(+), 10 deletions(-)

diff --git a/examples/computability/lambda/Holmakefile b/examples/computability/lambda/Holmakefile
index d634ed43ae..5642bc7de4 100644
--- a/examples/computability/lambda/Holmakefile
+++ b/examples/computability/lambda/Holmakefile
@@ -1,20 +1,16 @@
 INCLUDES = ../../lambda/barendregt ../../lambda/basics \
            ../../lambda/other-models ../
 OPTIONS = QUIT_ON_FAILURE
+
+ifdef POLY
 HOLHEAP = computability-heap
 EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o
 
 BARE_THYS = ../../lambda/barendregt/normal_orderTheory \
             ../../lambda/other-models/pure_dBTheory
-DEPS_poly = $(patsubst %,%.uo,$(BARE_THYS))
-DEPS_mosml =
-
-TARGET_poly = $(HOLHEAP)
-TARGET_mosml = brackabs.sml
+DEPS = $(patsubst %,%.uo,$(BARE_THYS))
 
-COMM_mosml =
-COMM_poly = \
-   $(protect $(HOLDIR)/bin/buildheap) -o computability-heap $(BARE_THYS)
+$(HOLHEAP): $(DEPS)
+	$(protect $(HOLDIR)/bin/buildheap) -o computability-heap $(BARE_THYS)
 
-$(TARGET_$(ML_SYSNAME)): $(DEPS_$(ML_SYSNAME))
-	$(COMM_$(ML_SYSNAME))
+endif