Update Nix Install instructions (#298)

* Specify kiele package in nix install instructions * Remove unnecessary environment variables for opam commands Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Aug 10, 2021 · e2e8efe · e2e8efe
1 parent aca1015
commit e2e8efe
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -105,7 +105,7 @@ we can install `kiele` from any clone of the repository:
 git clone https://github.com/runtimeverification/iele-semantics
 cd iele-semantics
 git submodule update --init --recursive
-nix-env -f . -i
+nix-env -f . -i kiele
 ```
 
 ## Docker Images
@@ -177,9 +177,8 @@ These commands build and install KIELE:
 git clone https://github.com/runtimeverification/iele-semantics.git
 cd iele-semantics
 git submodule update --init --recursive
-sudo bash -c 'OPAMROOT=/usr/lib/kframework/opamroot k-configure-opam'
-sudo bash -c 'OPAMROOT=/usr/lib/kframework/opamroot opam install --yes ocaml-protoc rlp yojson zarith hex uuidm cryptokit'
-export OPAMROOT=/usr/lib/kframework/opamroot
+k-configure-opam
+opam install --yes ocaml-protoc rlp yojson zarith hex uuidm cryptokit
 eval $(opam config env)
 make build -j4