Commit | Line | Data |
---|---|---|
d8875586 MBT |
1 | ?RCS: $Id: inc.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: inc.U,v $ | |
12 | ?RCS: Revision 3.0 1993/08/18 12:08:51 ram | |
13 | ?RCS: Baseline for dist 3.0 netwide release. | |
14 | ?RCS: | |
15 | ?MAKE:inc incexp: Loc Oldconfig Getfile usrinc | |
16 | ?MAKE: -pick add $@ %< | |
17 | ?S:inc: | |
18 | ?S: This variable holds the name of the directory in which the user wants | |
19 | ?S: to put public header files for the package in question. It is most | |
20 | ?S: often a local directory such as /usr/local/include. | |
21 | ?S:. | |
22 | ?S:incexp: | |
23 | ?S: This is the same as the inc variable, but is filename expaned | |
24 | ?S: at configuration time for convenient use in your makefiles. | |
25 | ?S:. | |
26 | : determine where public header files go | |
27 | case "$inc" in | |
28 | '') | |
29 | dflt=`./loc . "." /usr/local/include /usr/include/local $usrinc` | |
30 | ;; | |
31 | *) dflt="$inc" | |
32 | ;; | |
33 | esac | |
34 | fn=d~ | |
35 | rp='Where do you want to put the public header files?' | |
36 | . ./getfile | |
37 | inc="$ans" | |
38 | incexp="$ansexp" | |
39 |