From 252460bc33fc26d8ef8aa905592fd4029d97d419 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 4 Apr 2018 17:06:03 +0100
Subject: Fix another infinite loop in cast bit_to_bool. Following introduction
 of eq_bool this was preferred over eq_bit when compiling the match on bit in
 bit_to_bool... Fix is to overload == before including flow.sail but feels a
 bit inelegant.

---
 mips/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mips/Makefile')

diff --git a/mips/Makefile b/mips/Makefile
index e0bc27b6..00703f62 100644
--- a/mips/Makefile
+++ b/mips/Makefile
@@ -6,7 +6,7 @@ MIPS_SAIL_DIR:=$(SAIL_DIR)/mips
 
 SAIL:=$(SAIL_DIR)/sail
 
-MIPS_PRE:=$(SAIL_LIB_DIR)/flow.sail $(MIPS_SAIL_DIR)/prelude.sail $(MIPS_SAIL_DIR)/mips_prelude.sail
+MIPS_PRE:=$(MIPS_SAIL_DIR)/prelude.sail $(MIPS_SAIL_DIR)/mips_prelude.sail
 MIPS_TLB:=$(MIPS_SAIL_DIR)/mips_tlb.sail
 MIPS_TLB_STUB:=$(MIPS_SAIL_DIR)/mips_tlb_stub.sail
 MIPS_SAILS:=$(MIPS_SAIL_DIR)/mips_wrappers.sail $(MIPS_SAIL_DIR)/mips_ast_decl.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail
-- 
cgit v1.2.3