COIN-OR::LEMON - Graph Library

Changeset 2015:5e51c9eb5e83 in lemon-0.x


Ignore:
Timestamp:
03/24/06 21:27:42 (18 years ago)
Author:
Mihaly Barasz
Branch:
default
Phase:
public
Convert:
svn:c9d7d8f5-90d6-0310-b91f-818b3a526b0e/lemon/trunk@2650
Message:

bootstrap: quiet option

Files:
2 edited

Legend:

Unmodified
Added
Removed
  • bootstrap

    r2012 r2015  
    11#!/bin/bash
     2
     3quiet=0
     4function quiet { [[ $quiet == 1 ]]; }
     5
     6if [[ "$1" == "-q" ]]; then
     7  quiet=1
     8  shift
     9fi
    210
    311prev=
     
    6876fi
    6977
    70 echo "Try using 'autoreconf -vi' instead of this."
     78quiet || echo "Try using 'autoreconf -vi' instead of this."
    7179
    72 set -x
    73 $aclocal -I m4 \
    74 && libtoolize --force --copy \
    75 && $autoconf \
    76 && $autoheader \
    77 && $automake --add-missing --copy --gnu
     80set -e
     81quiet || set -x
     82
     83$aclocal -I m4
     84(quiet && exec > /dev/null; libtoolize --force --copy)
     85$autoconf
     86$autoheader
     87$automake --add-missing --copy --gnu
  • doc/Makefile.am

    r1909 r2015  
    3636        @$(NORMAL_INSTALL)
    3737        $(mkinstalldirs) $(DESTDIR)$(htmldir)
    38         @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
     38        @dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
    3939          f="`echo $$p | sed -e 's|^.*/||'`"; \
    4040          echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
     
    4444uninstall-local: html/index.html
    4545        @$(NORMAL_UNINSTALL)
    46         @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
     46        @dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
    4747          f="`echo $$p | sed -e 's|^.*/||'`"; \
    4848          echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
Note: See TracChangeset for help on using the changeset viewer.