diff -r bc9f7c29311e -r e8e30025fcc5 configure --- a/configure Fri Aug 19 22:43:01 2011 +0200 +++ b/configure Sun Aug 21 23:11:26 2011 +0200 @@ -13,6 +13,7 @@ MANDIR_set= PROG_PFX= PROG_SFX= +PROG_SED= LOCAL_set= FORCE= @@ -68,6 +69,9 @@ set_program_suffix() { PROG_SFX="$( get_optval "$1" "$2" )" } +set_program_transform_name() { + PROG_SED="$( get_optval "$1" "$2" )" +} set_tool() { local var_name="${1%%=*}" var_name="${var_name#--with-}" @@ -339,6 +343,7 @@ Program names: --program-prefix=PREFIX prepend PREFIX to installed program names --program-suffix=SUFFIX append SUFFIX to installed program names + --program-transform-name=PROGRAM run sed PROGRAM on installed program names System types: --build=BUILD configure for building on BUILD [guessed] (ignored) @@ -376,6 +381,9 @@ --program-suffix=*|--program-suffix) set_program_suffix "$1" "$2" && shift || shift 2 ;; + --program-transform-name=*|--program-transform-name) + set_program_transform_name "$1" "$2" && shift || shift 2 + ;; --force) FORCE=1; shift;; --help|-h) do_help; exit 0;; # Skip, auto-stuff compatibility @@ -398,6 +406,7 @@ set_mandir "" "$( pwd )/docs" set_program_prefix "" "" set_program_suffix "" "" + set_program_transform_name "" "" fi #--------------------------------------------------------------------- @@ -666,6 +675,7 @@ -e "s,@@MANDIR@@,${MANDIR},g" \ -e "s,@@PROG_PFX@@,${PROG_PFX},g" \ -e "s,@@PROG_SFX@@,${PROG_SFX},g" \ + -e "s,@@PROG_SED@@,${PROG_SED},g" \ -e "s,@@VERSION@@,${VERSION},g" \ -e "s,@@DATE@@,${DATE},g" \ -e "s,@@LOCAL@@,${LOCAL_set},g" \ @@ -685,6 +695,7 @@ MANDIR='${MANDIR}' PROG_PFX='${PROG_PFX}' PROG_SFX='${PROG_SFX}' + PROG_SED='${PROG_SED}' Now run: make