# this reduche the file library size to the minimum

------------ use this wrapper -----------------------
--snip--
$ cat arm-linux-gcc-wrapper 
#!/bin/bash

cmd="arm-linux-gcc -Os"

for opt; do
	[[ "$opt" == "-g"* ]] && continue
	[[ "$opt" == "-O"* ]] && continue
	cmd="$cmd $opt"
done

echo "+$cmd" >&2
exec $cmd
--snap--


# libxml2
# copy the arm-linux-gcc-wrapper to your libxml2 source
CC=$PWD/arm-linux-gcc-wrapper ./configure --host=arm-linux --without-debug --without-python --prefix=/home/<user>/Digi/DigiEL4.2/ --without-c14n --without-catalog --without-ftp --without-http --without-legacy --without-push --without-regexps --without-schematron --without-valid --without-writer --without-modules
make
make install

# libxslt
# copy the arm-linux-gcc-wrapper to your libxslt source
CC=$PWD/arm-linux-gcc-wrapper ./configure  --host=arm-linux  --without-crypto --without-debug --without-debugger --without-python --prefix=/home/<user>/Digi/DigiEL4.2/
make
make install