diff options
| author | Eric Andersen <andersen@codepoet.org> | 2002-07-02 06:15:23 +0000 |
|---|---|---|
| committer | Eric Andersen <andersen@codepoet.org> | 2002-07-02 06:15:23 +0000 |
| commit | 64ead491bcbbf3e8fe04f3aace8f55101f094248 (patch) | |
| tree | b01533449b35bd7301b7c47ed8f4c3ac50b1c156 /extra/Configs/Config.sh | |
| parent | 23ba3af986100506026696140caaeda354ce0006 (diff) | |
Resync the install defines
-Erik
Diffstat (limited to 'extra/Configs/Config.sh')
| -rw-r--r-- | extra/Configs/Config.sh | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/extra/Configs/Config.sh b/extra/Configs/Config.sh index a46b823c1..0bf18d9fa 100644 --- a/extra/Configs/Config.sh +++ b/extra/Configs/Config.sh @@ -193,7 +193,6 @@ SHARED_LIB_LOADER_PATH=$(DEVEL_PREFIX)/lib # environment will be installed. The result will look something # like the following: # DEVEL_PREFIX/ -# bin/ <contains gcc, ld, etc> # lib/ <contains all runtime and static libs> # include/ <Where all the header files go> # This value is used by the 'make install' Makefile target. Since this @@ -206,9 +205,17 @@ DEVEL_PREFIX = /usr/$(TARGET_ARCH)-linux-uclibc # the 'make install' target, and is not compiled into anything. This # defaults to $DEVEL_PREFIX/usr, but makers of .rpms and .debs will # want to set this to "/usr" instead. -SYSTEM_DEVEL_PREFIX = $(DEVEL_PREFIX)/usr +SYSTEM_DEVEL_PREFIX = $(DEVEL_PREFIX) + +# DEVEL_TOOL_PREFIX is the directory prefix used when installing +# bin/gcc, bin/ld, etc. This is only used by the 'make install' +# target, and is not compiled into anything. This defaults to +# $DEVEL_PREFIX/usr, but makers of .rpms and .debs may want to +# set this to something else. +DEVEL_TOOL_PREFIX = $(DEVEL_PREFIX)/usr # If you want 'make install' to install everything under a temporary # directory, the define PREFIX during the install step, # i.e., 'make PREFIX=/var/tmp/uClibc install'. #PREFIX = $(TOPDIR)/_install + |