diff options
author | hubertf <hubertf@pkgsrc.org> | 1997-10-11 21:53:59 +0000 |
---|---|---|
committer | hubertf <hubertf@pkgsrc.org> | 1997-10-11 21:53:59 +0000 |
commit | 240eed442d1f97f7d7dd9430673499ef25dd1f36 (patch) | |
tree | cd1e0be6347cb17aeb9201b0ecc45b0286c98b53 /misc/figlet/patches/patch-aa | |
parent | 652e2956ee0721786181dcf43d7559a17c9b93f9 (diff) | |
download | pkgsrc-240eed442d1f97f7d7dd9430673499ef25dd1f36.tar.gz |
Import as of 09/25/97
Diffstat (limited to 'misc/figlet/patches/patch-aa')
-rw-r--r-- | misc/figlet/patches/patch-aa | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/misc/figlet/patches/patch-aa b/misc/figlet/patches/patch-aa new file mode 100644 index 00000000000..e313f6f25e8 --- /dev/null +++ b/misc/figlet/patches/patch-aa @@ -0,0 +1,38 @@ +--- Makefile.orig Tue Feb 18 15:02:28 1997 ++++ Makefile Tue Aug 12 08:34:46 1997 +@@ -10,18 +10,18 @@ + # for changing this is if sh is not in the same place. + SHELL = /bin/sh + CC = gcc +-CFLAGS = -g ++#CFLAGS = -g + + # Where the executables should be put +-DESTDIR = /usr/games ++DESTDIR = $(PREFIX)/bin + + # Where the man page should be put +-MANDIR = /usr/man/man6 ++MANDIR = $(PREFIX)/man/man6 + + # Where figlet will search first for fonts (the ".flf" files). +-DEFAULTFONTDIR = $(DESTDIR)/lib/figlet.dir ++#DEFAULTFONTDIR = $(DESTDIR)/lib/figlet.dir + # Use this definition if you can't put things in /usr/games +-DEFAULTFONTDIR = fonts ++DEFAULTFONTDIR = $(PREFIX)/share/figlet + + # The filename of the font to be used if no other is specified + # (standard.flf is recommended, but any other can be used). +@@ -50,8 +50,10 @@ + rm -f *.o figlet chkfont + + install: figlet chkfont +- mkdir $(DEFAULTFONTDIR) ++ mkdir -p $(DEFAULTFONTDIR) ++ strip figlet + cp figlet $(DESTDIR) ++ strip chkfont + cp chkfont $(DESTDIR) + cp figlist $(DESTDIR) + cp showfigfonts $(DESTDIR) |