diff options
Diffstat (limited to 'src/benchmarks/dj_trace/Makefile')
| -rw-r--r-- | src/benchmarks/dj_trace/Makefile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/benchmarks/dj_trace/Makefile b/src/benchmarks/dj_trace/Makefile new file mode 100644 index 0000000..14eca91 --- /dev/null +++ b/src/benchmarks/dj_trace/Makefile @@ -0,0 +1,24 @@ +OBJDIR ?= obj + +CC ?= gcc + +WARNFLAGS ?= -Wall -Wextra +COMMONFLAGS ?= -fno-builtin -fPIC -DPIC -pthread +OPTFLAGS ?= -O3 -DNDEBUG + +CFLAGS ?= $(OPTFLAGS) $(WARNFLAGS) $(COMMONFLAGS) + +LDFLAGS ?= -pthread -static-libgcc + +.PHONY = all clean + +all: $(OBJDIR)/trace_run + +$(OBJDIR)/trace_run: trace_run.c | $(OBJDIR) + $(CC) $(LDFLAGS) $(CFLAGS) -o $@ $< + +$(OBJDIR): + mkdir $@ + +clean: + rm -rf $(OBJDIR) |