From 102a75a063093a762fe903a56453bc208ff355ab Mon Sep 17 00:00:00 2001 From: l-kent Date: Wed, 21 Feb 2024 09:50:08 +1000 Subject: [PATCH] update makefiles --- src/test/Makefile | 2 +- src/test/make/lift.mk | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/test/Makefile b/src/test/Makefile index 95cfeb311..63c6d5fb5 100644 --- a/src/test/Makefile +++ b/src/test/Makefile @@ -1,4 +1,4 @@ -TARGETSS := all verify clean cleanall cleanlift recompile json +TARGETSS := all verify clean cleanall cleanlift recompile json cleanjson cleangts gts SUBTARGETS = $(wildcard correct/*/ incorrect/*/) .PHONY : $(TARGETSS) $(SUBTARGETS) correct incorrect diff --git a/src/test/make/lift.mk b/src/test/make/lift.mk index e38e3342f..7c9ab52d3 100644 --- a/src/test/make/lift.mk +++ b/src/test/make/lift.mk @@ -5,7 +5,7 @@ $(LIFT_ARTEFACTS): a.out $(READELF) -s -r -W a.out > $(NAME).relf $(BAP) a.out -d adt:$(NAME).adt -d bir:$(NAME).bir ddisasm a.out --ir $(NAME).gtirb - gtirb-semantics-nix $(NAME).gtirb $(NAME).gts + gtirb-semantics $(NAME).gtirb $(NAME).gts ifdef $(SPEC) BASIL_SPECARG = --spec $(SPEC) @@ -34,7 +34,7 @@ recompile: a.out gts: a.out ddisasm a.out --ir $(NAME).gtirb - gtirb-semantics-nix $(NAME).gtirb $(NAME).gts + gtirb-semantics $(NAME).gtirb $(NAME).gts rm -rf $(NAME).gtirb json: