diff options
Diffstat (limited to 'inf/zotks/makefile')
-rw-r--r-- | inf/zotks/makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/inf/zotks/makefile b/inf/zotks/makefile new file mode 100644 index 0000000..f6c8f90 --- /dev/null +++ b/inf/zotks/makefile @@ -0,0 +1,15 @@ +CF=-Wall -Wextra -Wformat -Wformat-security -pedantic -g -O0 -I. +LF=-lm +default: $(subst .c,,$(shell find -name '*.c')) +%: %.c + $(CC) $(CF) $(CFLAGS) $< -o$@ $(LF) $(LDFLAGS) + +navodila: s1_super_trojcek.pdf s1_tek.pdf s1_telefon.pdf + +%.pdf: + wget http://upload/d/$@ + +clean: + rm -f 1 2 3 4 5 6 *.pdf + +.PHONY: default clean navodila |