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 +-
 src/myocamlbuild.ml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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/
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml
index f1fa7a88..e38dbb4d 100644
--- a/src/myocamlbuild.ml
+++ b/src/myocamlbuild.ml
@@ -19,7 +19,7 @@ let split ch s =
 let lem_dir =
   try Sys.getenv "LEM_DIR" (* LEM_DIR must contain an absolute path *)
   with Not_found -> "../../../lem" ;;
-let lem_libdir = lem_dir / "ocaml-lib/_build" ;;
+let lem_libdir = lem_dir / "ocaml-lib" ;;
 let lem_lib = lem_libdir / "extract" ;;
 let lem = lem_dir / "lem" ;;
 
-- 
cgit v1.2.3