Parent Directory | Revision Log | Patch
revision 1.8.2.3 by camm, Thu Dec 20 04:37:33 2001 UTC | revision 1.8.2.4 by camm, Fri Dec 21 04:50:56 2001 UTC | |
---|---|---|
# | Line 15 MPFILES=$(MPDIR)/mpi-386_no_under.o $(MP | Line 15 MPFILES=$(MPDIR)/mpi-386_no_under.o $(MP |
15 | # root for the installation, eg /usr/local | # root for the installation, eg /usr/local |
16 | # This would cause make install to create /usr/local/bin/gcl and | # This would cause make install to create /usr/local/bin/gcl and |
17 | # /usr/local/lib/gcl-2-??/* with some basic files. | # /usr/local/lib/gcl-2-??/* with some basic files. |
18 | prefix=/usr/local | prefix=/usr |
19 | ||
20 | # where to place the info files | # where to place the info files |
21 | INFO_DIR=/usr/info/ | INFO_DIR=/usr/info/ |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |