diff --git a/README.md b/README.md index 90dcaf0..c498859 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,6 @@ To build and run this you will need: * protoc * The following OPAM packages: * ocaml-protoc-plugin - * hexstring * base64 To massively simplify this, simply run ```scripts/build-all.sh``` in your preferred install directory. This script assumes a completely fresh Ubuntu 20.04.5 installation. It is advised to run this script within a fresh VM but it should work on established installations. A complete installation can take several hours and will prompt for the sudo password at least once. diff --git a/dune-project b/dune-project index ae72e1a..a4e8e13 100644 --- a/dune-project +++ b/dune-project @@ -19,7 +19,7 @@ (name gtirb_semantics) (synopsis "Add semantic information to the IR of a disassembled ARM64 binary") (description "A longer description") - (depends ocaml dune yojson asli ocaml-protoc-plugin hexstring base64 ctypes ctypes-foreign conf-llvm) + (depends ocaml dune yojson asli ocaml-protoc-plugin base64 ctypes ctypes-foreign conf-llvm) (tags (decompilers instruction-lifters static-analysis))) diff --git a/gtirb_semantics.opam b/gtirb_semantics.opam index 3892802..b3200dc 100644 --- a/gtirb_semantics.opam +++ b/gtirb_semantics.opam @@ -15,7 +15,6 @@ depends: [ "yojson" "asli" "ocaml-protoc-plugin" - "hexstring" "base64" "ctypes" "ctypes-foreign" diff --git a/lib/dune b/lib/dune index 5760f8b..58670e7 100644 --- a/lib/dune +++ b/lib/dune @@ -1,6 +1,6 @@ (library (name gtirb_semantics) - (libraries ocaml-protoc-plugin asli.libASL hexstring base64)) + (libraries ocaml-protoc-plugin asli.libASL base64)) (rule (targets AuxData.ml ByteInterval.ml CFG.ml CodeBlock.ml DataBlock.ml IR.ml Module.ml Offset.ml ProxyBlock.ml Section.ml Symbol.ml SymbolicExpression.ml)