diff options
Diffstat (limited to '')
| -rw-r--r-- | www/tocaia/files/patch-Makefile | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/www/tocaia/files/patch-Makefile b/www/tocaia/files/patch-Makefile new file mode 100644 index 000000000000..8e4c5f1b6afe --- /dev/null +++ b/www/tocaia/files/patch-Makefile @@ -0,0 +1,31 @@ +--- Makefile.orig 2025-08-31 09:07:10 UTC ++++ Makefile +@@ -1,12 +1,13 @@ +-CC ?= cc +-CFLAGS = -std=c89 -Wall -pedantic ++CC ?= cc ++CFLAGS += -std=c89 -Wall -pedantic + +-OBJ = tocaia.o +-EXEC = tocaia ++OBJ = tocaia.o ++EXEC = tocaia + +-PREFIX ?= /usr/local +-BINDIR = $(PREFIX)/bin +-INSTALL ?= install ++PREFIX ?= /usr/local ++BINDIR = $(PREFIX)/bin ++INSTALL ?= install ++STRIP ?= strip + + all: $(EXEC) + +@@ -24,6 +25,7 @@ install: $(EXEC) + install: $(EXEC) + mkdir -p $(DESTDIR)$(BINDIR) + $(INSTALL) -m 755 $(EXEC) $(DESTDIR)$(BINDIR)/$(EXEC) ++ $(STRIP) $(DESTDIR)$(BINDIR)/$(EXEC) + + uninstall: + rm -f $(DESTDIR)$(BINDIR)/$(EXEC) |