From d96cd3e8d74b303ff89716294d173754c70cd6b7 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 11 Jun 2018 16:01:43 +0100
Subject: More efficient bitfield implementation

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

(limited to 'aarch64/Makefile')

diff --git a/aarch64/Makefile b/aarch64/Makefile
index 58281dc7..07bc67ae 100644
--- a/aarch64/Makefile
+++ b/aarch64/Makefile
@@ -8,7 +8,7 @@ aarch64.c: no_vector.sail
 	$(SAIL) $^ -c -O -undefined_gen -no_lexp_bounds_check -memo_z3 1> aarch64.c
 
 aarch64_c: aarch64.c
-	gcc -O2 $^ -o aarch64_c -lgmp -L $(SAIL_DIR)/lib
+	gcc -O2 $^ -o aarch64_c -lgmp -I $(SAIL_DIR)/lib
 
 aarch64: no_vector.sail
 	$(SAIL) $^ -o aarch64 -ocaml -undefined_gen -no_lexp_bounds_check -memo_z3
-- 
cgit v1.2.3