diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 17 |
1 files changed, 17 insertions, 0 deletions
@@ -67,6 +67,8 @@ usage () { printf "\tSpecifies whether or not to use dynamic loading of native code\n" echo "-coqide (opt|byte|no)" printf "\tSpecifies whether or not to compile Coqide\n" + echo "-uim-script-path" + printf "\tSpecifies where uim's .scm files are installed\n" echo "-browser <command>" printf "\tUse <command> to open URL %%s\n" echo "-with-doc (yes|no)" @@ -250,6 +252,9 @@ while : ; do -force-caml-version|--force-caml-version|-force-ocaml-version|--force-ocaml-version) force_caml_version_spec=yes force_caml_version=yes;; + -uim-script-path) + uim_script_path=$2 + shift;; *) echo "Unknown option \"$1\"." 1>&2; usage; exit 2;; esac shift @@ -635,6 +640,15 @@ case $COQIDE in no) LABLGTKINCLUDES="";; esac +if which uim-fep; then + for cand in i"$uim_script_path" /usr/local/share/uim/ /usr/share/uim/; do + if [ -f "$cand/loader.scm" ]; then + UIMSCRIPTDIR=$cand + break + fi + done +fi + # strip command case $ARCH in @@ -819,6 +833,8 @@ esac # yes) EMACS=$emacs;; # esac + + ########################################### # Summary of the configuration @@ -1072,6 +1088,7 @@ sed -e "s|LOCALINSTALLATION|$local|" \ -e "s|CHECKEDOUTSOURCETREE|$checkedout|" \ -e "s|WITHDOCOPT|$with_doc|" \ -e "s|HASNATIVEDYNLINK|$NATDYNLINKFLAG|" \ + -e "s|UIMSCRIPTPATH|$UIMSCRIPTDIR|" \ "$config_template" > "$config_file" chmod a-w "$config_file" |