update makefiles

UQ-PAC · Feb 20, 2024 · 102a75a · 102a75a
1 parent 5068242
commit 102a75a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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: