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: