fix makefile

UQ-PAC · Sep 16, 2024 · c9e2f4e · c9e2f4e
1 parent 84389f7
commit c9e2f4e
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/examples/csmith/Makefile b/examples/csmith/Makefile
@@ -6,14 +6,14 @@ ADTS=$(addsuffix .adt,$(SOURCENAMES))
 OUTS=$(addsuffix .out,$(SOURCENAMES))
 CHECKSUMS=$(addsuffix .checksum,$(SOURCENAMES))
 
-CSMITH_HEADER = "/nix/store/6rawnpny818v7wki6zlr3i0f3phmysyb-csmith-2.3.0/include/csmith-2.3.0/"
+CSMITH_HEADER = "/usr/include/csmith/"
+CC=clang -target aarch64-linux-gnu
 
 %.out : %.c
-	aarch64-suse-linux-gcc $< -w -I $(CSMITH_HEADER) -o $@
-
+	$(CC) $< -w -I $(CSMITH_HEADER) -o $@
 
 %.relf : %.out
-	aarch64-suse-linux-readelf -s -r -W $< > $@
+	readelf -s -r -w $< > $@
 
 %.adt: %.out
 	bap $< -d adt:$@
@@ -23,7 +23,6 @@ CSMITH_HEADER = "/nix/store/6rawnpny818v7wki6zlr3i0f3phmysyb-csmith-2.3.0/includ
 
 default : $(ADTS) $(RELFS)
 
-
 .PHONY=checksum
 checksum: $(CHECKSUMS)