summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorMattias Andrée <maandree@kth.se>2022-01-01 10:26:11 +0100
committerMattias Andrée <maandree@kth.se>2022-01-01 10:26:50 +0100
commitc43c1116484675917d21c8410ae93b91c6847b9a (patch)
tree8512ba170e8e87e8ad30c3ed3f75a90861a20e84 /Makefile
parentm (diff)
downloadmakel-c43c1116484675917d21c8410ae93b91c6847b9a.tar.gz
makel-c43c1116484675917d21c8410ae93b91c6847b9a.tar.bz2
makel-c43c1116484675917d21c8410ae93b91c6847b9a.tar.xz
Rename to mklint to avoid confusion with pre-existing tool with opposite goal
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to '')
-rw-r--r--Makefile18
1 files changed, 9 insertions, 9 deletions
diff --git a/Makefile b/Makefile
index e67e73d..2c7f513 100644
--- a/Makefile
+++ b/Makefile
@@ -4,34 +4,34 @@ CONFIGFILE = config.mk
include $(CONFIGFILE)
OBJ =\
- makelint.o\
+ mklint.o\
ui.o
HDR =\
common.h
-all: makelint
+all: mklint
$(OBJ): $(HDR)
.c.o:
$(CC) -c -o $@ $< $(CFLAGS) $(CPPFLAGS)
-makelint: $(OBJ)
+mklint: $(OBJ)
$(CC) -o $@ $(OBJ) $(LDFLAGS)
-install: makelint
+install: mklint
mkdir -p -- "$(DESTDIR)$(PREFIX)/bin"
mkdir -p -- "$(DESTDIR)$(MANPREFIX)/man1/"
- cp -- makelint "$(DESTDIR)$(PREFIX)/bin/"
- cp -- makelint.1 "$(DESTDIR)$(MANPREFIX)/man1/"
+ cp -- mklint "$(DESTDIR)$(PREFIX)/bin/"
+ cp -- mklint.1 "$(DESTDIR)$(MANPREFIX)/man1/"
uninstall:
- -rm -f -- "$(DESTDIR)$(PREFIX)/bin/makelint"
- -rm -f -- "$(DESTDIR)$(MANPREFIX)/man1/makelint.1"
+ -rm -f -- "$(DESTDIR)$(PREFIX)/bin/mklint"
+ -rm -f -- "$(DESTDIR)$(MANPREFIX)/man1/mklint.1"
clean:
-rm -f -- *.o *.a *.lo *.su *.so *.so.* *.gch *.gcov *.gcno *.gcda
- -rm -f -- makelint
+ -rm -f -- mklint
.SUFFIXES:
.SUFFIXES: .o .c