From 3658789d204eb100e901a2adb67b6bf8a30157bf Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 21 Jun 2018 16:06:21 +0100
Subject: Fix MIPS wrt changes to C runtime

This plus changes to bitfield internals is enough to run some MIPS tests at 1Mhz.
---
 mips/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mips/Makefile')

diff --git a/mips/Makefile b/mips/Makefile
index 6abf1848..007d56c7 100644
--- a/mips/Makefile
+++ b/mips/Makefile
@@ -19,7 +19,7 @@ mips.c: $(MIPS_PRE) $(MIPS_TLB) $(MIPS_SAILS) $(MIPS_MAIN) Makefile ../sail
 	$(SAIL) -O -memo_z3 -c $(filter %.sail, $^) 1> $@
 
 mips_c: mips.c ../lib/sail.h Makefile
-	gcc -O2 -g -I ../lib $< -l gmp -o $@
+	gcc -O2 -g -I ../lib $< ../lib/*.c -lgmp -lz -o $@
 
 mips_no_tlb.lem: $(MIPS_PRE) $(MIPS_TLB_STUB) $(MIPS_SAILS)
 	$(SAIL) -lem -o mips_no_tlb -lem_mwords -lem_lib Mips_extras -undefined_gen -memo_z3 $^
-- 
cgit v1.2.3