From 0af8d6df5c183bc50faa39d04e6c312ba5bfb9c1 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 8 Apr 2015 11:36:24 +0100
Subject: makefile changes to keep up with lem ocaml-lib changes

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index de899586..34b58c6d 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -16,7 +16,7 @@ test: sail interpreter
 	./run_tests.native
 
 LEM = ~/bitbucket/lem/lem
-LEMLIBOCAML = ~/bitbucket/lem/ocaml-lib/_build/
+LEMLIBOCAML = ~/bitbucket/lem/ocaml-lib/
 
 install_elf:
 	cp -p ../../system-v-abi/src/*.lem elf_model/
-- 
cgit v1.2.3