JUDE のセットアップ (ただのメモ)

Linux

# cd ~/tmp

  1. jude-community-5_5.zip をダウンロード
  2. unzip jude-community-5_5.zip
  3. sudo mv jude_community/ /usr/local/share/
  4. sudo vim /usr/local/share/jude_community/jude
    • 以下のように書き換える
    • JUDE_HOME=/usr/local/share/jude_community
    • #JUDE_HOME=`dirname $0`
  5. sudo chmod 755 /usr/local/share/jude_community/jude
  6. cd /usr/bin
  7. sudo ln -s ../local/share/jude_community/jude jude

実行できる．