Skip to content

Commit

Permalink
gtirb-semantics: instruction-addrs branch.
Browse files Browse the repository at this point in the history
  • Loading branch information
katrinafyi committed Feb 29, 2024
1 parent 067efe5 commit f88c813
Showing 1 changed file with 3 additions and 8 deletions.
11 changes: 3 additions & 8 deletions gtirb/gtirb-semantics.nix
Original file line number Diff line number Diff line change
Expand Up @@ -35,23 +35,18 @@ buildDunePackage {
pname = "gtirb_semantics";
version = "unstable-2024-02-21";

# https://github.com/UQ-PAC/gtirb-semantics/commits/instruction-addrs
src = fetchFromGitHub {
owner = "UQ-PAC";
repo = "gtirb-semantics";
rev = "23fe5e2ac50aded95f1447d66aaec14e0bde4814";
sha256 = "sha256-Y0nFoCCFFcHhyb3lsOYkA4qMT03eElmaMdVeuCnMMHs=";
rev = "a174d4b12b6d17a97171ee1583d009ecd8d8df0f";
sha256 = "sha256-7xxMLIWYHe/WiDwCajyeGilDEhHVJdHnokM2pGsFSF8=";
};

buildInputs = [ python' asli ctypes ocaml-protoc-plugin yojson libllvm ];
nativeBuildInputs = [ protobuf ocaml-protoc-plugin libllvm ];
propagatedBuildInputs = [ base64 ];

preConfigure = ''
substituteInPlace llvm-disas/dune \
--replace-warn 'opam var' echo \
--replace-warn conf-llvm:config $(command -v llvm-config)
'';

postInstall = ''
ln -sv ${wrapper}/bin/* $out/bin/gtirb-semantics-nix
cp -v $src/scripts/*.py $out/bin
Expand Down

0 comments on commit f88c813

Please sign in to comment.