Original bug ID: 2718
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Fabien Fleutot
Version: 3.07pl2 & previous
OS: Linux
Submission from: pc124.dcs.kcl.ac.uk (137.73.9.124)

Habituellement, les scripts ./configure acceptent l'option
--prefix=whatever/path/i/wish

alors que celui de caml n'accepte que
--prefix whatever/path/i/wish
(sans l'egal).

Fix patch proposal ci-dessous. Je crois que c'est compatible avec toutes les
formes de sh, mais verifier tout de meme

56,63c56,79
< -prefix|--prefix)
< prefix=$2; shift;;
< -bindir|--bindir)
< bindir=$2; shift;;
< -libdir|--libdir)
< libdir=$2; shift;;
< -mandir|--mandir)
< case "$2" in

-prefix*|--prefix*)
    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
  prefix=$it;;

-bindir*|--bindir*)
    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    bindir=$it;;

-libdir*|--libdir*)
    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    libdir=$it;;

-mandir*|--mandir*)
    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    case $it in

65,66c81,82
< mandir=echo $2 | sed -e 's|^\(.*\)/man.$|\1|'
< manext=echo $2 | sed -e 's/^.*\(.\)$/\1/';;

        mandir=`echo $it | sed -e 's|^\(.*\)/man.$|\1|'`
        manext=`echo $it | sed -e 's/^.*\(.\)$/\1/'`;;

68c84
< mandir=$2

        mandir=$it

70,71c86,87
< esac
< shift;;

    esac;;

73c89,93
< host_type=$2; shift;;

    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    host_type=$it;;

75c95,99
< ccoption="$2"; shift;;

    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    ccoption=$it;;

77c101,105
< cclibs="$2 $cclibs"; shift;;

    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    cclibs="$it $cclibs";;

83c111,115
< x11_include_dir=$2; shift;;

    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    x11_include_dir=$it;;

85c117,121
< x11_lib_dir=$2; shift;;

    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    x11_lib_dir=$it;;

91a128

93c130,134
< tk_defs=$2; shift;;

    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    tk_defs=$it;;

95c136,140
< tk_libs=$2; shift;;

    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    tk_libs=$it;;

97a143

98a145,147

    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi

99a149

100a151,153

    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi

101a155

103c157,161
< binutils_dir=$2; shift;;

    if   echo "$1" | grep -q '='; 
    then it=`echo "$1"|sed -e 's/^[^=]*=\(.*\)/\1/'`
  else it=$2; shift; fi
    binutils_dir=$it;;