mirror of
https://git.sr.ht/~sircmpwn/mkproof
synced 2024-05-12 18:56:22 +02:00
50 lines
1.0 KiB
Makefile
50 lines
1.0 KiB
Makefile
.POSIX:
|
|
.SUFFIXES:
|
|
OUTDIR=.build
|
|
include $(OUTDIR)/config.mk
|
|
include $(OUTDIR)/cppcache
|
|
|
|
mkchallenge: $(mkchallenge_objects)
|
|
@printf 'CCLD\t$@\n'
|
|
@$(CC) $(LDFLAGS) -o $@ $(mkchallenge_objects)
|
|
|
|
mkproof: $(mkproof_objects)
|
|
@printf 'CCLD\t$@\n'
|
|
@$(CC) $(LDFLAGS) -o $@ $(mkproof_objects)
|
|
|
|
checkproof: $(checkproof_objects)
|
|
@printf 'CCLD\t$@\n'
|
|
@$(CC) $(LDFLAGS) -o $@ $(checkproof_objects)
|
|
|
|
doc/mkchallenge.1: doc/mkchallenge.scd
|
|
doc/mkproof.1: doc/mkproof.scd
|
|
doc/checkproof.1: doc/checkproof.scd
|
|
|
|
.SUFFIXES: .c .o .scd .1 .5
|
|
|
|
.c.o:
|
|
@printf 'CC\t$@\n'
|
|
@touch $(OUTDIR)/cppcache
|
|
@grep $< $(OUTDIR)/cppcache >/dev/null || \
|
|
$(CPP) $(CFLAGS) -MM -MT $@ $< >> $(OUTDIR)/cppcache
|
|
@$(CC) -c $(CFLAGS) -o $@ $<
|
|
|
|
.scd.1:
|
|
@printf 'SCDOC\t$@\n'
|
|
@$(SCDOC) < $< > $@
|
|
|
|
docs: doc/mkchallenge.1 doc/mkproof.1 doc/checkproof.1
|
|
|
|
clean:
|
|
@rm -f \
|
|
mkchallenge $(mkchallenge_objects) \
|
|
mkproof $(mkproof_objects) \
|
|
checkproof $(checkproof_objects)
|
|
|
|
distclean: clean
|
|
@rm -rf "$(OUTDIR)"
|
|
|
|
install:
|
|
|
|
.PHONY: docs clean distclean install
|