annotate examples/build_Make.params @ 1747:a221170fac3d

Add an optimization for the common case of a single flash device
author bartv
date Sun, 21 Nov 2004 23:39:01 +0000
parents e68cf4daeda4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
436
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
1 #! /bin/sh
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
2
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
3 # This script will set up a Makefile fragment with
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
4 # platform specifics. This fragement can be used by
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
5 # the automatically generated Makefile (via the script
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
6 # 'build_Makefile')
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
7
1197
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
8 # Copied from 'makefile' in the "install" tree
436
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
9
1197
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
10 ECOS_BUILD_DIR=${1-`pwd`}
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
11 ECOS_INSTALL_DIR=`echo ${ECOS_BUILD_DIR}/install`
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
12 if [ ! -d ${ECOS_BUILD_DIR}/install ]; then
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
13 if [ ! -d ${ECOS_BUILD_DIR}/*_build ]; then
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
14 echo "Not an eCos install tree"
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
15 echo "usage: <eCos_repository>/build_Make.params [<eCos_install_dir>]"
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
16 echo "... where <eCos_install_dir> is the directory which contains"
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
17 echo " the *.ecc configuration file used to build the kernel"
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
18 exit
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
19 else
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
20 ECOS_INSTALL_DIR=`echo ${ECOS_BUILD_DIR}/*_install`
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
21 ECOS_BUILD_DIR=`echo ${ECOS_BUILD_DIR}/*_build`
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
22 fi
436
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
23 fi
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
24
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
25 cat <<EOF >Make.params
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
26
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
27 # Copied from 'makefile' in the "install" tree
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
28
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
29 EOF
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
30
1197
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
31 grep export ${ECOS_BUILD_DIR}/makefile >>Make.params
436
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
32
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
33 cat <<EOF >>Make.params
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
34
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
35 #
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
36 # Target specific flags, etc.
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
37 #
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
38
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
39 EOF
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
40
1197
e68cf4daeda4 Update build_Make* to handle ConfigTool generated trees
gthomas
parents: 436
diff changeset
41 cat ${ECOS_INSTALL_DIR}/include/pkgconf/ecos.mak >>Make.params
436
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
42
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
43
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
44