tools:gnu_indent:インストール:2.2.12

差分

このページの2つのバージョン間の差分を表示します。

この比較画面にリンクする

--- tools:gnu_indent:インストール:2.2.12 [2021/01/13 09:34]
michiya ↷ tools:gnu_indent:2.2.12 から tools:gnu_indent:インストール:2.2.12 へページを移動しました。
+++ tools:gnu_indent:インストール:2.2.12 [2021/01/14 07:26] (現在)
michiya
@@ 行 6: / 行 6: @@
 ===== 手順 =====
 <code>
@@ 行 17: / 行 16: @@
 $ make install
 </code>
+===== 環境変数 =====
+<code>
+$ export PATH=/opt/indent/2.2.12/bin:${PATH}
+$ export LD_LIBRARY_PATH=/opt/indent/2.2.12/lib:${LD_LIBRARY_PATH}
+</code>
+===== スクリプト =====
+<code>
+#!/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
+</code>

tools/gnu_indent/インストール/2.2.12.1610530456.txt.gz · 最終更新: 2021/01/13 09:34 by michiya