pike.git/ src/ Makefile.in

1998-10-22

1998-10-22 09:12:26 by Fredrik Hübinette (Hubbe) <hubbe@hubbe.net>

• 0cd76f6e47a608e5fb968246055346f60217f783 (14 lines) (+13/-1) ^{[ Show | Annotate ]}
  Branch: 7.9

new feature: make optimize

Rev: lib/master.pike.in:1.35
Rev: src/Makefile.in:1.121
Rev: src/dumpmaster.pike:1.1
Rev: src/dumpmodule.pike:1.1
Rev: src/pike-module.in:1.2

1:   # - # $Id: Makefile.in,v 1.120 1998/09/29 16:51:03 grubba Exp $ + # $Id: Makefile.in,v 1.121 1998/10/22 09:12:25 hubbe Exp $   #      # This line is needed on some machines.
202:      force :    +    # install   install: pike hilfe pike-module aclocal    @echo
294:    if [ -f "$(share_prefix)/$$f" ]; then \    mv -f "$(share_prefix)/$$f" "$(share_prefix)/$$f.old"; \    else : ; fi; \ +  rm -f "$(share_prefix)/$$f.o" >/dev/null 2>/dev/null ; \    if [ -f "$(lib_prefix)/$$f" ]; then \    if test "x$(lib_prefix)" != "x$(share_prefix)"; then \    mv -f "$(lib_prefix)/$$f" "$(lib_prefix)/$$f.now_in_share.old"; \
312:    if [ -f "$(lib_prefix)/$$f" ]; then \    mv -f "$(lib_prefix)/$$f" "$(lib_prefix)/$$f.old"; \    else : ; fi; \ +  rm -f "$(lib_prefix)/$$f.o" >/dev/null 2>/dev/null ; \    cp "$(TMP_LIBDIR)/$$f" "$(lib_prefix)/$$f" || exit 1; \    chmod a+r "$(lib_prefix)/$$f"; \    chmod u+w "$(lib_prefix)/$$f"; \
334:    done ; \    else : ; fi    + optimize: +  $(exec_prefix)/pike -m ./dumpmaster.pike $(lib_prefix)/master.pike +  ( \ +  find $(lib_prefix)/modules -type f \( -name '*.pmod' -o -name '*.pike' \) -print ; \ +  find $(share_prefix)/modules -type f \( -name '*.pmod' -o -name '*.pike' \) -print \ +  ) | \ +  while read file ; do $(exec_prefix)/pike ./dumpmodule.pike $$file ; done +    # tidy up a bit   tidy:    -rm -f *.o core y.output y.tab.c y.tab.h