--- Makefile.orig 2002-12-16 06:58:36 +++ Makefile 2023-11-17 18:25:10 @@ -1,13 +1,14 @@ # $Id: Makefile,v 1.2 2002/12/15 19:58:36 marvin Exp $ -CC=gcc -CFLAGS=-Wall -w -pedantic +CC?=gcc +CFLAGS+=-Wall -Wextra +prefix?=/usr/local all: pipebench doc: pipebench.1 install: pipebench - cp pipebench /usr/local/bin/ - cp pipebench.1 /usr/local/man/man1/ + cp pipebench $(DESTDIR)$(prefix)/bin/ + cp pipebench.1 $(DESTDIR)$(prefix)/share/man/man1/ pipebench: pipebench.c $(CC) $(CFLAGS) -o pipebench pipebench.c