Note for installing K5 on debian 9.2 YMMV

installNotes.md

Following instruction from https://github.com/kframework/k5

• Ran the apt-get command
• git clone https://github.com/kframework/k5.git
• Added lines to ~/.bashrc

export MAVEN_OPTS='-XX:+TieredCompilation'
export PATH=$PATH:~/k5/k-distribution/target/release/k/bin

• cd k5 and mav package. Got a couple warnings, but everything ultimately says success.
• k-configure-opam gave me this output (plus more)

1. To configure OPAM in the current shell session, you need to run:

      eval `opam config env`

2. To correctly configure OPAM for subsequent use, add the following
   line to your profile file (for instance ~/.profile):

      . /home/joshy/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true

3. To avoid issues related to non-system installations of `ocamlfind`
   add the following lines to ~/.ocamlinit (create it if necessary):

      let () =
        try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH")
        with Not_found -> ()
      ;;

• eval `opam config env` gave no output