annotate examples/build_Make.params @ 600:a4f75ab7f357

Provide platform specific override for Linux memory layout.
author gthomas
date Wed, 12 Feb 2003 21:05:24 +0000
parents f44d40e6cdd3
children e68cf4daeda4
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
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
8 # Copied from 'makefile' the "install" tree
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
9
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
10 HOME=${1-`pwd`}
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
11 if [ ! -d ${HOME}/install ]; then
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
12 echo "Not an eCos install tree"
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
13 echo "usage: <eCos_repository>/build_Make.params [<eCos_install_dir>]"
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
14 exit
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
15 fi
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
16
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
17 cat <<EOF >Make.params
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
18
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
19 # Copied from 'makefile' in the "install" tree
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
20
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
21 EOF
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
22
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
23 grep export ${HOME}/makefile >>Make.params
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 #
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
28 # Target specific flags, etc.
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
29 #
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
30
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
31 EOF
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
32
f44d40e6cdd3 Improve makefile build tools
gthomas
parents:
diff changeset
33 cat ${HOME}/install/include/pkgconf/ecos.mak >>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