From 42e729d20000eb141b2907ad83630af34f4afea3 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Mon, 6 Aug 2012 22:58:29 +1000
Subject: New variation on the equation system solver.

Much simpler to understand. Basically have a variable assignment which
is dynamic and updates with the strategy changes. Similarly have
strategy changes easily invalidate the variable assignment.

This makes them strongly inter-dependent, but simplifies the
implementation considerably. Proving it should be easier like this, too.
---
 impl/Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'impl/Makefile')

diff --git a/impl/Makefile b/impl/Makefile
index c73c1a9..213657b 100644
--- a/impl/Makefile
+++ b/impl/Makefile
@@ -30,6 +30,7 @@ $(PARSER): EquationSystem.g
 $(BUILD):
 	mkdir -p $(BUILD)
 
+.PHONY: test
 test: $(BUILD)/main
 	bash ./test/run ./build/main
 
-- 
cgit v1.2.3