diff options
Diffstat (limited to 'check/Makefile')
| -rw-r--r-- | check/Makefile | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/check/Makefile b/check/Makefile new file mode 100644 index 0000000..67b3f91 --- /dev/null +++ b/check/Makefile @@ -0,0 +1,32 @@ +.POSIX: + +# This Makefile was generated by maje +# See https://gitlab.com/jkaivo/maje/ for more information +# Do not edit this Makefile by hand + +CC=c99 +LD=$(CC) +CFLAGS=-Wall -Wextra -Wpedantic -Werror -g +LDFLAGS= +LDLIBS= +SRCDIR=. +OBJDIR=. +BINDIR=$(OBJDIR) + +all: $(BINDIR)/check + +clean: + rm -f $(BINDIR)/check $(OBJDIR)/*.o + +$(BINDIR)/check: $(OBJDIR)/parse.o +$(OBJDIR)/parse.o: $(SRCDIR)/check.h +$(OBJDIR)/parse.o: $(SRCDIR)/parse.c + $(CC) $(CFLAGS) -o $@ -c $(SRCDIR)/parse.c + +$(BINDIR)/check: $(OBJDIR)/check.o +$(OBJDIR)/check.o: $(SRCDIR)/check.h +$(OBJDIR)/check.o: $(SRCDIR)/check.c + $(CC) $(CFLAGS) -o $@ -c $(SRCDIR)/check.c + +$(BINDIR)/check: + $(LD) $(LDFLAGS) -o $@ $(OBJDIR)/*.o $(LDLIBS) |
