diff --git a/examples/csmith/Makefile b/examples/csmith/Makefile index d9fdbdf31..3ed5508b6 100644 --- 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)