dist/U/lib.U

   1 ?RCS: $Id: lib.U 1 2006-08-24 12:32:52Z rmanfredi $
   2 ?RCS:
   3 ?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi
   4 ?RCS:
   5 ?RCS: You may redistribute only under the terms of the Artistic Licence,
   6 ?RCS: as specified in the README file that comes with the distribution.
   7 ?RCS: You may reuse parts of this distribution only within the terms of
   8 ?RCS: that same Artistic Licence; a copy of which may be found at the root
   9 ?RCS: of the source tree for dist 4.0.
  10 ?RCS:
  11 ?RCS: $Log: lib.U,v $
  12 ?RCS: Revision 3.0.1.3  1995/09/25  09:16:47  ram
  13 ?RCS: patch59: unit is now forced to the top of Configure, if possible
  14 ?RCS:
  15 ?RCS: Revision 3.0.1.2  1995/01/30  14:38:08  ram
  16 ?RCS: patch49: can now handle installation prefix changes (from WED)
  17 ?RCS:
  18 ?RCS: Revision 3.0.1.1  1994/08/29  16:27:40  ram
  19 ?RCS: patch32: now uses installation prefix to set the default
  20 ?RCS:
  21 ?RCS: Revision 3.0  1993/08/18  12:08:56  ram
  22 ?RCS: Baseline for dist 3.0 netwide release.
  23 ?RCS:
  24 ?MAKE:lib libexp: Getfile Loc Oldconfig Prefixit Prefixup prefixexp
  25 ?MAKE:  -pick add $@ %<
  26 ?Y:TOP
  27 ?S:lib:
  28 ?S:     This variable holds the name of the directory in which the user wants
  29 ?S:     to put public library files for the package in question.  It is most
  30 ?S:     often a local directory such as /usr/local/lib. Programs using this
  31 ?S:     variable must be prepared to deal with filename expansion.
  32 ?S:.
  33 ?S:libexp:
  34 ?S:     This variable is the same as the lib variable, but is filename expanded
  35 ?S:     at configuration time, for convenient use in your makefiles.
  36 ?S:.
  37 : determine where public libraries go
  38 set lib lib
  39 eval $prefixit
  40 case "$lib" in
  41 '')
  42         dflt=`./loc . "." $prefixexp/lib /usr/local/lib /usr/lib /lib`
  43         set dflt
  44         eval $prefixup
  45         ;;
  46 *)  dflt="$lib";;
  47 esac
  48 echo " "
  49 fn=d~
  50 rp='Where do you want to put the public libraries?'
  51 . ./getfile
  52 lib="$ans"
  53 libexp="$ansexp"
  54