3 echo "##########################################################################"
5 echo "##########################################################################"
7 rm -Rf $PRODUCT_INSTALL
8 mkdir -p $PRODUCT_INSTALL
13 echo "*** apply sed for 64bits platforms"
14 sed -e 's|COPTIONS =|& -fPIC|g' Makefile.in > Makefile.in_new
15 cp Makefile.in_new Makefile.in
18 echo "*** make" $MAKE_OPTIONS
27 echo "*** copy build to install"
28 cp -ar * ${PRODUCT_INSTALL}
31 echo "ERROR on install"
36 echo "*** Modification of access rights"
37 chmod -R g+rwX,o+rX ${PRODUCT_INSTALL}