pike.git/ src/ Makefile.in

1997-05-07

1997-05-07 02:20:08 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 366c66e82e9a8609c3a8194fecaca21b688b1dc4 (13 lines) (+12/-1) ^{[ Show | Annotate ]}
  Branch: 7.9

Now modifies hilfe if exec_prefix is other than /usr/local/bin/.

Rev: src/Makefile.in:1.28

136:    if [ ! -d "$(prefix)" ]; then mkdir "$(prefix)" ; chmod 755 "$(prefix)" ; else : ; fi    if [ ! -d "$(exec_prefix)" ]; then mkdir "$(exec_prefix)" ; chmod 755 "$(exec_prefix)" ; else : ; fi    $(INSTALL) ./pike $(exec_prefix) -  $(INSTALL) $(SRCDIR)/../bin/hilfe $(exec_prefix) +  if [ -f $(SRCDIR)/../bin/hilfe ]; then \ +  if [ "$(exec_prefix)" != "/usr/local/bin" -a \ +  "$(exec_prefix)" != "/usr/local/bin/" ]; then \ +  if [ -f $(exec_prefix)/hilfe ]; then \ +  mv $(exec_prefix)/hilfe $(exec_prefix)/hilfe.old; \ +  else : ; fi && \ +  sed -e 's!/usr/local/bin!$(exec_prefix)!' <$(SRCDIR)/../bin/hilfe \ +  >$(exec_prefix)/hilfe && \ +  chmod 755 $(exec_prefix)/hilfe; \ +  else $(INSTALL) $(SRCDIR)/../bin/hilfe $(exec_prefix); fi; \ +  else : ; fi    if [ ! -d "$(prefix)/lib" ]; then mkdir "$(prefix)/lib" ; chmod 755 "$(prefix)/lib" ; else : ; fi    if [ ! -d "$(lib_prefix)" ]; then mkdir "$(lib_prefix)" ; chmod 755 "$(lib_prefix)" ; else : ; fi    if [ ! -d "$(prefix)/include" ]; then mkdir "$(prefix)/include"; chmod 755 "$(prefix)/include"; fi