From afd1cb8cf34fa0010e6fcceab08f24c993da0fb3 Mon Sep 17 00:00:00 2001
From: vgross
Date: Thu, 18 Feb 2010 17:57:37 +0000
Subject: Polishing the setup of CoqIDE Input Method

autodetection via ./configure, automated installation target
"install-im", and no more patching. Plus documentation of the procedure
in the reference manual.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12790 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index 75f3af1556..6e8650840d 100755
--- a/configure
+++ b/configure
@@ -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"
-- 
cgit v1.2.3