From e636947dd964eb849cfeff528fe43a85fee7583a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 13 Dec 2017 20:38:24 +0000
Subject: Cleanup code by fixing compiler warnings, and fix ocaml compilation

Add the ast.sed script we need to build sail. Currently we just need
this to fix up the locations in the AST but it will be removed once we
can share locations between ocaml and lem.
---
 lib/ocaml_rts/Makefile | 1 -
 lib/ocaml_rts/_tags    | 3 +--
 2 files changed, 1 insertion(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/ocaml_rts/Makefile b/lib/ocaml_rts/Makefile
index 3d837e25..52b8841b 100644
--- a/lib/ocaml_rts/Makefile
+++ b/lib/ocaml_rts/Makefile
@@ -50,7 +50,6 @@ all: main
 
 import:
 	rsync -rv --include "*/" --include="*.ml" --include="*.mli" --exclude="*" $(BITBUCKET_ROOT)/linksem/src/ linksem
-	rsync -rv --include "*/" --include="*.ml" --include="*.mli" --exclude="*" $(BITBUCKET_ROOT)/lem/ocaml-lib/ lem
 
 main: import
 	ocamlbuild -pkg uint -pkg zarith main.native -use-ocamlfind
diff --git a/lib/ocaml_rts/_tags b/lib/ocaml_rts/_tags
index 5f2586c5..7d3f2d46 100644
--- a/lib/ocaml_rts/_tags
+++ b/lib/ocaml_rts/_tags
@@ -1,6 +1,5 @@
+true: use_lem
 <main.{byte,native}>: use_nums, use_str, use_unix, debug
 <linksem>: include
 <linksem/adaptors>: include
-<lem>: include
-<lem/dependencies/zarith>: -traverse
 <linksem/src_lem_library>: -traverse
-- 
cgit v1.2.3