ユーザ用ツール

サイト用ツール


サイドバー


最近の更新




タグ一覧

タグ#
1
1
1
1
1
1
1
1
1
1
tools:gnu_indent:インストール:2.2.12

GNU indent

依存ライブラリ

手順

$ wget https://ftp.gnu.org/gnu/indent/indent-2.2.12.tar.gz
$ tar xvf indent-2.2.12.tar.gz
$ cd indent-2.2.12/
$ ./configure --prefix=/opt/indent/2.2.12
$ PATH=/opt/texinfo/6.7/bin:${PATH} \
  make
$ make install

環境変数

$ export PATH=/opt/indent/2.2.12/bin:${PATH}
$ export LD_LIBRARY_PATH=/opt/indent/2.2.12/lib:${LD_LIBRARY_PATH}

スクリプト

#!/bin/bash

#############################################################
inst_ver=2.2.12
inst_target=/opt/indent/${inst_ver}
arch_file="indent-"${inst_ver}".tar.gz"
target_web="https://ftp.gnu.org/gnu/indent/"${arch_file}
working_dir=$(cd $(dirname $0); pwd)/indent-${inst_ver}
texinfo_path=/opt/texinfo/6.7/bin
#############################################################

if [ -d ${inst_target} ];
then
    echo "${inst_target} is already exist"
    exit 0
fi

if [ ! -d ${texinfo_path} ];
then
    echo "texinfo is not exist"
    exit 1
fi    

mkdir -p ${inst_target}
if [ $? -ne 0 ];
then
    echo "You do not have write permission on "${inst_target}"."
    echo "Scipt is aborted."
    exit 1
fi

rm -rf ${arch_file} ${working_dir}

wget ${target_web}
if [ $? -ne 0 ];
then
    echo "command is failed"
    echo "wget ${target_web}"
    exit 1
fi
mkdir ${working_dir}
tar xvf ${arch_file} -C ${working_dir} --strip-components 1
cd ${working_dir}
./configure --prefix=${inst_target}
PATH=${texinfo_path}:${PATH} make
make install
tools/gnu_indent/インストール/2.2.12.txt · 最終更新: 2021/01/14 07:26 by michiya