bin/inspect_diff.sh

   1 #!/bin/sh
   2 #
   3 # ------------------------------------------------------
   4 #  IntelliJ IDEA Startup Script for Unix
   5 # ------------------------------------------------------
   6 #
   7 # Please customize this script by specifying locations of JDK_HOME and
   8 # IDEA_HOME below
   9 #
  10
  11 #--------------------------------------------------------------------------
  12 #   Specify the JAVA_HOME for this script. JAVA_HOME should refer to the
  13 #   home location where your system's Java Development Kit version 1.4 is installed
  14 #   For instance, the supplied example assumes the JDK is installed at
  15 #   /usr/java/j2sdk1.4.0_01
  16
  17 darwin=false;
  18 case "`uname`" in
  19     Darwin*) darwin=true;
  20 esac
  21
  22 if [ -z "$JAVA_HOME" ]; then
  23     if $darwin ; then
  24         JAVA_HOME=/System/Library/Frameworks/JavaVM.framework/Versions/CurrentJDK/Home
  25     else
  26         JAVA_HOME=/usr/java/j2sdk1.4.0_01
  27     fi
  28 fi
  29
  30 if $darwin ; then
  31     TOOLS_PATH=$JAVA_HOME/lib/ext/jpda.jar
  32 else
  33     TOOLS_PATH=$JAVA_HOME/lib/tools.jar
  34 fi
  35
  36 #--------------------------------------------------------------------------
  37 #   Ensure the IDEA_HOME var for this script points to the
  38 #   home directory where IntelliJ IDEA is installed on your system.
  39
  40 IDEA_HOME=`dirname "$0"`/..
  41
  42 if [ -z "$CVS_PASSFILE" ]; then
  43     CVS_PASSFILE=${HOME}/.cvspass
  44 fi
  45
  46 export JAVA_HOME
  47 export IDEA_HOME
  48 export CVS_PASSFILE
  49
  50 MAIN_CLASS_NAME="com.intellij.codeInspection.InspectionDiff"
  51 JVM_ARGS="-Xms16M -Xmx156M"
  52
  53 while [ $# -gt 0 ]; do
  54   args="$args $1"
  55   shift
  56 done
  57
  58 oldcp=$CLASSPATH
  59 CLASSPATH=$IDEA_HOME/lib/idea.jar:$IDEA_HOME/lib/jh.jar:$IDEA_HOME/lib/oromatcher.jar:$IDEA_HOME/lib/jaxp.jar:$IDEA_HOME/lib/xerces.jar:$IDEA_HOME/lib/jdom.jar:$TOOLS_PATH:$IDEA_HOME/lib/icons.jar:$IDEA_HOME/lib/ant.jar:$IDEA_HOME/lib/junit.jar:$IDEA_HOME/lib/optional.jar:$IDEA_HOME/lib/servlet.jar:$IDEA_HOME/lib/log4j.jar
  60 BOOT_CLASS_PATH=$IDEA_HOME/lib/jaxp.jar:$IDEA_HOME/lib/xerces.jar:$IDEA_HOME/lib/jdom.jar
  61
  62 # Append old classpath to current classpath
  63 if [ ! -z "$oldcp" ]; then
  64     CLASSPATH=${CLASSPATH}:$oldcp
  65 fi
  66
  67 export CLASSPATH
  68 exec ${JAVA_HOME}/bin/java -Xbootclasspath/p:${BOOT_CLASS_PATH} -DCVS_PASSFILE=${CVS_PASSFILE} $JVM_ARGS $MAIN_CLASS_NAME $args