1 files changed, 2 insertions, 5 deletions
diff --git a/opam b/opam
index dc44622..8fa83af 100644
--- a/opam
+++ b/opam
@@ -17,14 +17,11 @@ homepage: "https://github.com/rems-project/sail-riscv/"
 bug-reports: "https://github.com/rems-project/sail-riscv/issues"
 license: "BSD3"
 dev-repo: "https://github.com/rems-project/sail-riscv.git"
-build: [make "INSTALL_DIR=%{prefix}%" "opam-build"]
-install: [make "INSTALL_DIR=%{prefix}%" "opam-install"]
-remove: [
-  make "INSTALL_DIR=%{prefix}%" "opam-uninstall"
-]
+build: [make "LEM_DIR=%{lem:share}%" "SAIL_DIR=%{sail:share}%" "SAIL=sail" "opam-build"]
 depends: [
   "ocamlfind"
   "ocamlbuild"
+  "lem"
   "sail" {>= "0.9"}
   "linksem" {>= "0.3"}
   "conf-gmp"