lib/Tools/install
changeset 16653 c12c2f411f77
parent 15856 674ff97ce0ef
child 26577 50f47cc2af72
     1.1 --- a/lib/Tools/install	Fri Jul 01 14:22:33 2005 +0200
     1.2 +++ b/lib/Tools/install	Fri Jul 01 14:41:57 2005 +0200
     1.3 @@ -16,8 +16,6 @@
     1.4    echo "  Options are:"
     1.5    echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution"
     1.6    echo "                 (default ISABELLE_HOME)"
     1.7 -  echo "    -k VERSION   install KDE application icon on desktop"
     1.8 -  echo "                 (for KDE VERSION 1 or 2)"
     1.9    echo "    -p DIR       install standalone binaries in DIR"
    1.10    echo
    1.11    echo "  Install Isabelle executables with absolute references to the current"
    1.12 @@ -40,19 +38,15 @@
    1.13  NO_OPTS=true
    1.14  
    1.15  DISTDIR="$ISABELLE_HOME"
    1.16 -KDE=""
    1.17  BINDIR=""
    1.18  
    1.19 -while getopts "d:k:p:" OPT
    1.20 +while getopts "d:p:" OPT
    1.21  do
    1.22    NO_OPTS=""
    1.23    case "$OPT" in
    1.24      d)
    1.25        DISTDIR="$OPTARG"
    1.26        ;;
    1.27 -    k)
    1.28 -      KDE="$OPTARG"
    1.29 -      ;;
    1.30      p)
    1.31        BINDIR="$OPTARG"
    1.32        ;;
    1.33 @@ -112,42 +106,3 @@
    1.34      chmod +x "$BIN"
    1.35    done
    1.36  fi
    1.37 -
    1.38 -
    1.39 -# install KDE 1.x / 2.x application icon
    1.40 -
    1.41 -if [ -n "$KDE" ]; then
    1.42 -  if [ "$KDE" = 1 ]; then
    1.43 -    KDEHOME=~/.kde
    1.44 -    KDEDESKTOP=~/Desktop
    1.45 -    KDEAPP="$KDEDESKTOP/Isabelle.kdelnk"
    1.46 -  elif [ "$KDE" = 2 ]; then
    1.47 -    KDEHOME=~/.kde2
    1.48 -    KDEDESKTOP=~/KDesktop
    1.49 -    KDEAPP="$KDEDESKTOP/Isabelle.desktop"
    1.50 -  else
    1.51 -    fail "Unknown KDE version \"$KDE\""
    1.52 -  fi
    1.53 -  mkdir -p "$KDEDESKTOP" || fail "Bad directory: $KDEDESKTOP"
    1.54 -
    1.55 -  KDEICONS="$KDEHOME/share/icons"
    1.56 -  mkdir -p "$KDEICONS" || fail "Bad directory: $KDEICONS"
    1.57 -  mkdir -p "$KDEICONS/mini" || fail "Bad directory: $KDEICONS/mini"
    1.58 -
    1.59 -  [ -f "$KDEICONS/isabelle.xpm" ] || cp "$ISABELLE_HOME/lib/icons/isabelle.xpm" "$KDEICONS" || \
    1.60 -    fail "Cannot write file: $KDEICONS/isabelle.xpm"
    1.61 -  [ -f "$KDEICONS/mini/isabelle.xpm" ] || \
    1.62 -    cp "$ISABELLE_HOME/lib/icons/isabelle-mini.xpm" "$KDEICONS/mini/isabelle.xpm" || \
    1.63 -    fail "Cannot write file: $KDEICONS/mini/isabelle.xpm"
    1.64 -
    1.65 -  echo "installing $KDEAPP"
    1.66 -  echo "# KDE Config File" > "$KDEAPP" || fail "Cannot write file: $KDEAPP"
    1.67 -  echo "[KDE Desktop Entry]" >> "$KDEAPP"
    1.68 -  echo "Type=Application" >> "$KDEAPP"
    1.69 -  echo "Exec=\"$DISTDIR/bin/isabelle-interface\" %f" >> "$KDEAPP"
    1.70 -  echo "Icon=isabelle.xpm" >> "$KDEAPP"
    1.71 -  echo "TerminalOptions=" >> "$KDEAPP"
    1.72 -  echo "Path=" >> "$KDEAPP"
    1.73 -  echo "Terminal=0" >> "$KDEAPP"
    1.74 -  echo "Name=Isabelle" >> "$KDEAPP"
    1.75 -fi