lemon-project-template-glpk
diff deps/glpk/install-sh @ 9:33de93886c88
Import GLPK 4.47
author | Alpar Juttner <alpar@cs.elte.hu> |
---|---|
date | Sun, 06 Nov 2011 20:59:10 +0100 |
parents | |
children |
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/deps/glpk/install-sh Sun Nov 06 20:59:10 2011 +0100 1.3 @@ -0,0 +1,520 @@ 1.4 +#!/bin/sh 1.5 +# install - install a program, script, or datafile 1.6 + 1.7 +scriptversion=2009-04-28.21; # UTC 1.8 + 1.9 +# This originates from X11R5 (mit/util/scripts/install.sh), which was 1.10 +# later released in X11R6 (xc/config/util/install.sh) with the 1.11 +# following copyright and license. 1.12 +# 1.13 +# Copyright (C) 1994 X Consortium 1.14 +# 1.15 +# Permission is hereby granted, free of charge, to any person obtaining a copy 1.16 +# of this software and associated documentation files (the "Software"), to 1.17 +# deal in the Software without restriction, including without limitation the 1.18 +# rights to use, copy, modify, merge, publish, distribute, sublicense, and/or 1.19 +# sell copies of the Software, and to permit persons to whom the Software is 1.20 +# furnished to do so, subject to the following conditions: 1.21 +# 1.22 +# The above copyright notice and this permission notice shall be included in 1.23 +# all copies or substantial portions of the Software. 1.24 +# 1.25 +# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 1.26 +# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 1.27 +# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 1.28 +# X CONSORTIUM BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN 1.29 +# AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNEC- 1.30 +# TION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 1.31 +# 1.32 +# Except as contained in this notice, the name of the X Consortium shall not 1.33 +# be used in advertising or otherwise to promote the sale, use or other deal- 1.34 +# ings in this Software without prior written authorization from the X Consor- 1.35 +# tium. 1.36 +# 1.37 +# 1.38 +# FSF changes to this file are in the public domain. 1.39 +# 1.40 +# Calling this script install-sh is preferred over install.sh, to prevent 1.41 +# `make' implicit rules from creating a file called install from it 1.42 +# when there is no Makefile. 1.43 +# 1.44 +# This script is compatible with the BSD install script, but was written 1.45 +# from scratch. 1.46 + 1.47 +nl=' 1.48 +' 1.49 +IFS=" "" $nl" 1.50 + 1.51 +# set DOITPROG to echo to test this script 1.52 + 1.53 +# Don't use :- since 4.3BSD and earlier shells don't like it. 1.54 +doit=${DOITPROG-} 1.55 +if test -z "$doit"; then 1.56 + doit_exec=exec 1.57 +else 1.58 + doit_exec=$doit 1.59 +fi 1.60 + 1.61 +# Put in absolute file names if you don't have them in your path; 1.62 +# or use environment vars. 1.63 + 1.64 +chgrpprog=${CHGRPPROG-chgrp} 1.65 +chmodprog=${CHMODPROG-chmod} 1.66 +chownprog=${CHOWNPROG-chown} 1.67 +cmpprog=${CMPPROG-cmp} 1.68 +cpprog=${CPPROG-cp} 1.69 +mkdirprog=${MKDIRPROG-mkdir} 1.70 +mvprog=${MVPROG-mv} 1.71 +rmprog=${RMPROG-rm} 1.72 +stripprog=${STRIPPROG-strip} 1.73 + 1.74 +posix_glob='?' 1.75 +initialize_posix_glob=' 1.76 + test "$posix_glob" != "?" || { 1.77 + if (set -f) 2>/dev/null; then 1.78 + posix_glob= 1.79 + else 1.80 + posix_glob=: 1.81 + fi 1.82 + } 1.83 +' 1.84 + 1.85 +posix_mkdir= 1.86 + 1.87 +# Desired mode of installed file. 1.88 +mode=0755 1.89 + 1.90 +chgrpcmd= 1.91 +chmodcmd=$chmodprog 1.92 +chowncmd= 1.93 +mvcmd=$mvprog 1.94 +rmcmd="$rmprog -f" 1.95 +stripcmd= 1.96 + 1.97 +src= 1.98 +dst= 1.99 +dir_arg= 1.100 +dst_arg= 1.101 + 1.102 +copy_on_change=false 1.103 +no_target_directory= 1.104 + 1.105 +usage="\ 1.106 +Usage: $0 [OPTION]... [-T] SRCFILE DSTFILE 1.107 + or: $0 [OPTION]... SRCFILES... DIRECTORY 1.108 + or: $0 [OPTION]... -t DIRECTORY SRCFILES... 1.109 + or: $0 [OPTION]... -d DIRECTORIES... 1.110 + 1.111 +In the 1st form, copy SRCFILE to DSTFILE. 1.112 +In the 2nd and 3rd, copy all SRCFILES to DIRECTORY. 1.113 +In the 4th, create DIRECTORIES. 1.114 + 1.115 +Options: 1.116 + --help display this help and exit. 1.117 + --version display version info and exit. 1.118 + 1.119 + -c (ignored) 1.120 + -C install only if different (preserve the last data modification time) 1.121 + -d create directories instead of installing files. 1.122 + -g GROUP $chgrpprog installed files to GROUP. 1.123 + -m MODE $chmodprog installed files to MODE. 1.124 + -o USER $chownprog installed files to USER. 1.125 + -s $stripprog installed files. 1.126 + -t DIRECTORY install into DIRECTORY. 1.127 + -T report an error if DSTFILE is a directory. 1.128 + 1.129 +Environment variables override the default commands: 1.130 + CHGRPPROG CHMODPROG CHOWNPROG CMPPROG CPPROG MKDIRPROG MVPROG 1.131 + RMPROG STRIPPROG 1.132 +" 1.133 + 1.134 +while test $# -ne 0; do 1.135 + case $1 in 1.136 + -c) ;; 1.137 + 1.138 + -C) copy_on_change=true;; 1.139 + 1.140 + -d) dir_arg=true;; 1.141 + 1.142 + -g) chgrpcmd="$chgrpprog $2" 1.143 + shift;; 1.144 + 1.145 + --help) echo "$usage"; exit $?;; 1.146 + 1.147 + -m) mode=$2 1.148 + case $mode in 1.149 + *' '* | *' '* | *' 1.150 +'* | *'*'* | *'?'* | *'['*) 1.151 + echo "$0: invalid mode: $mode" >&2 1.152 + exit 1;; 1.153 + esac 1.154 + shift;; 1.155 + 1.156 + -o) chowncmd="$chownprog $2" 1.157 + shift;; 1.158 + 1.159 + -s) stripcmd=$stripprog;; 1.160 + 1.161 + -t) dst_arg=$2 1.162 + shift;; 1.163 + 1.164 + -T) no_target_directory=true;; 1.165 + 1.166 + --version) echo "$0 $scriptversion"; exit $?;; 1.167 + 1.168 + --) shift 1.169 + break;; 1.170 + 1.171 + -*) echo "$0: invalid option: $1" >&2 1.172 + exit 1;; 1.173 + 1.174 + *) break;; 1.175 + esac 1.176 + shift 1.177 +done 1.178 + 1.179 +if test $# -ne 0 && test -z "$dir_arg$dst_arg"; then 1.180 + # When -d is used, all remaining arguments are directories to create. 1.181 + # When -t is used, the destination is already specified. 1.182 + # Otherwise, the last argument is the destination. Remove it from $@. 1.183 + for arg 1.184 + do 1.185 + if test -n "$dst_arg"; then 1.186 + # $@ is not empty: it contains at least $arg. 1.187 + set fnord "$@" "$dst_arg" 1.188 + shift # fnord 1.189 + fi 1.190 + shift # arg 1.191 + dst_arg=$arg 1.192 + done 1.193 +fi 1.194 + 1.195 +if test $# -eq 0; then 1.196 + if test -z "$dir_arg"; then 1.197 + echo "$0: no input file specified." >&2 1.198 + exit 1 1.199 + fi 1.200 + # It's OK to call `install-sh -d' without argument. 1.201 + # This can happen when creating conditional directories. 1.202 + exit 0 1.203 +fi 1.204 + 1.205 +if test -z "$dir_arg"; then 1.206 + trap '(exit $?); exit' 1 2 13 15 1.207 + 1.208 + # Set umask so as not to create temps with too-generous modes. 1.209 + # However, 'strip' requires both read and write access to temps. 1.210 + case $mode in 1.211 + # Optimize common cases. 1.212 + *644) cp_umask=133;; 1.213 + *755) cp_umask=22;; 1.214 + 1.215 + *[0-7]) 1.216 + if test -z "$stripcmd"; then 1.217 + u_plus_rw= 1.218 + else 1.219 + u_plus_rw='% 200' 1.220 + fi 1.221 + cp_umask=`expr '(' 777 - $mode % 1000 ')' $u_plus_rw`;; 1.222 + *) 1.223 + if test -z "$stripcmd"; then 1.224 + u_plus_rw= 1.225 + else 1.226 + u_plus_rw=,u+rw 1.227 + fi 1.228 + cp_umask=$mode$u_plus_rw;; 1.229 + esac 1.230 +fi 1.231 + 1.232 +for src 1.233 +do 1.234 + # Protect names starting with `-'. 1.235 + case $src in 1.236 + -*) src=./$src;; 1.237 + esac 1.238 + 1.239 + if test -n "$dir_arg"; then 1.240 + dst=$src 1.241 + dstdir=$dst 1.242 + test -d "$dstdir" 1.243 + dstdir_status=$? 1.244 + else 1.245 + 1.246 + # Waiting for this to be detected by the "$cpprog $src $dsttmp" command 1.247 + # might cause directories to be created, which would be especially bad 1.248 + # if $src (and thus $dsttmp) contains '*'. 1.249 + if test ! -f "$src" && test ! -d "$src"; then 1.250 + echo "$0: $src does not exist." >&2 1.251 + exit 1 1.252 + fi 1.253 + 1.254 + if test -z "$dst_arg"; then 1.255 + echo "$0: no destination specified." >&2 1.256 + exit 1 1.257 + fi 1.258 + 1.259 + dst=$dst_arg 1.260 + # Protect names starting with `-'. 1.261 + case $dst in 1.262 + -*) dst=./$dst;; 1.263 + esac 1.264 + 1.265 + # If destination is a directory, append the input filename; won't work 1.266 + # if double slashes aren't ignored. 1.267 + if test -d "$dst"; then 1.268 + if test -n "$no_target_directory"; then 1.269 + echo "$0: $dst_arg: Is a directory" >&2 1.270 + exit 1 1.271 + fi 1.272 + dstdir=$dst 1.273 + dst=$dstdir/`basename "$src"` 1.274 + dstdir_status=0 1.275 + else 1.276 + # Prefer dirname, but fall back on a substitute if dirname fails. 1.277 + dstdir=` 1.278 + (dirname "$dst") 2>/dev/null || 1.279 + expr X"$dst" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \ 1.280 + X"$dst" : 'X\(//\)[^/]' \| \ 1.281 + X"$dst" : 'X\(//\)$' \| \ 1.282 + X"$dst" : 'X\(/\)' \| . 2>/dev/null || 1.283 + echo X"$dst" | 1.284 + sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ 1.285 + s//\1/ 1.286 + q 1.287 + } 1.288 + /^X\(\/\/\)[^/].*/{ 1.289 + s//\1/ 1.290 + q 1.291 + } 1.292 + /^X\(\/\/\)$/{ 1.293 + s//\1/ 1.294 + q 1.295 + } 1.296 + /^X\(\/\).*/{ 1.297 + s//\1/ 1.298 + q 1.299 + } 1.300 + s/.*/./; q' 1.301 + ` 1.302 + 1.303 + test -d "$dstdir" 1.304 + dstdir_status=$? 1.305 + fi 1.306 + fi 1.307 + 1.308 + obsolete_mkdir_used=false 1.309 + 1.310 + if test $dstdir_status != 0; then 1.311 + case $posix_mkdir in 1.312 + '') 1.313 + # Create intermediate dirs using mode 755 as modified by the umask. 1.314 + # This is like FreeBSD 'install' as of 1997-10-28. 1.315 + umask=`umask` 1.316 + case $stripcmd.$umask in 1.317 + # Optimize common cases. 1.318 + *[2367][2367]) mkdir_umask=$umask;; 1.319 + .*0[02][02] | .[02][02] | .[02]) mkdir_umask=22;; 1.320 + 1.321 + *[0-7]) 1.322 + mkdir_umask=`expr $umask + 22 \ 1.323 + - $umask % 100 % 40 + $umask % 20 \ 1.324 + - $umask % 10 % 4 + $umask % 2 1.325 + `;; 1.326 + *) mkdir_umask=$umask,go-w;; 1.327 + esac 1.328 + 1.329 + # With -d, create the new directory with the user-specified mode. 1.330 + # Otherwise, rely on $mkdir_umask. 1.331 + if test -n "$dir_arg"; then 1.332 + mkdir_mode=-m$mode 1.333 + else 1.334 + mkdir_mode= 1.335 + fi 1.336 + 1.337 + posix_mkdir=false 1.338 + case $umask in 1.339 + *[123567][0-7][0-7]) 1.340 + # POSIX mkdir -p sets u+wx bits regardless of umask, which 1.341 + # is incompatible with FreeBSD 'install' when (umask & 300) != 0. 1.342 + ;; 1.343 + *) 1.344 + tmpdir=${TMPDIR-/tmp}/ins$RANDOM-$$ 1.345 + trap 'ret=$?; rmdir "$tmpdir/d" "$tmpdir" 2>/dev/null; exit $ret' 0 1.346 + 1.347 + if (umask $mkdir_umask && 1.348 + exec $mkdirprog $mkdir_mode -p -- "$tmpdir/d") >/dev/null 2>&1 1.349 + then 1.350 + if test -z "$dir_arg" || { 1.351 + # Check for POSIX incompatibilities with -m. 1.352 + # HP-UX 11.23 and IRIX 6.5 mkdir -m -p sets group- or 1.353 + # other-writeable bit of parent directory when it shouldn't. 1.354 + # FreeBSD 6.1 mkdir -m -p sets mode of existing directory. 1.355 + ls_ld_tmpdir=`ls -ld "$tmpdir"` 1.356 + case $ls_ld_tmpdir in 1.357 + d????-?r-*) different_mode=700;; 1.358 + d????-?--*) different_mode=755;; 1.359 + *) false;; 1.360 + esac && 1.361 + $mkdirprog -m$different_mode -p -- "$tmpdir" && { 1.362 + ls_ld_tmpdir_1=`ls -ld "$tmpdir"` 1.363 + test "$ls_ld_tmpdir" = "$ls_ld_tmpdir_1" 1.364 + } 1.365 + } 1.366 + then posix_mkdir=: 1.367 + fi 1.368 + rmdir "$tmpdir/d" "$tmpdir" 1.369 + else 1.370 + # Remove any dirs left behind by ancient mkdir implementations. 1.371 + rmdir ./$mkdir_mode ./-p ./-- 2>/dev/null 1.372 + fi 1.373 + trap '' 0;; 1.374 + esac;; 1.375 + esac 1.376 + 1.377 + if 1.378 + $posix_mkdir && ( 1.379 + umask $mkdir_umask && 1.380 + $doit_exec $mkdirprog $mkdir_mode -p -- "$dstdir" 1.381 + ) 1.382 + then : 1.383 + else 1.384 + 1.385 + # The umask is ridiculous, or mkdir does not conform to POSIX, 1.386 + # or it failed possibly due to a race condition. Create the 1.387 + # directory the slow way, step by step, checking for races as we go. 1.388 + 1.389 + case $dstdir in 1.390 + /*) prefix='/';; 1.391 + -*) prefix='./';; 1.392 + *) prefix='';; 1.393 + esac 1.394 + 1.395 + eval "$initialize_posix_glob" 1.396 + 1.397 + oIFS=$IFS 1.398 + IFS=/ 1.399 + $posix_glob set -f 1.400 + set fnord $dstdir 1.401 + shift 1.402 + $posix_glob set +f 1.403 + IFS=$oIFS 1.404 + 1.405 + prefixes= 1.406 + 1.407 + for d 1.408 + do 1.409 + test -z "$d" && continue 1.410 + 1.411 + prefix=$prefix$d 1.412 + if test -d "$prefix"; then 1.413 + prefixes= 1.414 + else 1.415 + if $posix_mkdir; then 1.416 + (umask=$mkdir_umask && 1.417 + $doit_exec $mkdirprog $mkdir_mode -p -- "$dstdir") && break 1.418 + # Don't fail if two instances are running concurrently. 1.419 + test -d "$prefix" || exit 1 1.420 + else 1.421 + case $prefix in 1.422 + *\'*) qprefix=`echo "$prefix" | sed "s/'/'\\\\\\\\''/g"`;; 1.423 + *) qprefix=$prefix;; 1.424 + esac 1.425 + prefixes="$prefixes '$qprefix'" 1.426 + fi 1.427 + fi 1.428 + prefix=$prefix/ 1.429 + done 1.430 + 1.431 + if test -n "$prefixes"; then 1.432 + # Don't fail if two instances are running concurrently. 1.433 + (umask $mkdir_umask && 1.434 + eval "\$doit_exec \$mkdirprog $prefixes") || 1.435 + test -d "$dstdir" || exit 1 1.436 + obsolete_mkdir_used=true 1.437 + fi 1.438 + fi 1.439 + fi 1.440 + 1.441 + if test -n "$dir_arg"; then 1.442 + { test -z "$chowncmd" || $doit $chowncmd "$dst"; } && 1.443 + { test -z "$chgrpcmd" || $doit $chgrpcmd "$dst"; } && 1.444 + { test "$obsolete_mkdir_used$chowncmd$chgrpcmd" = false || 1.445 + test -z "$chmodcmd" || $doit $chmodcmd $mode "$dst"; } || exit 1 1.446 + else 1.447 + 1.448 + # Make a couple of temp file names in the proper directory. 1.449 + dsttmp=$dstdir/_inst.$$_ 1.450 + rmtmp=$dstdir/_rm.$$_ 1.451 + 1.452 + # Trap to clean up those temp files at exit. 1.453 + trap 'ret=$?; rm -f "$dsttmp" "$rmtmp" && exit $ret' 0 1.454 + 1.455 + # Copy the file name to the temp name. 1.456 + (umask $cp_umask && $doit_exec $cpprog "$src" "$dsttmp") && 1.457 + 1.458 + # and set any options; do chmod last to preserve setuid bits. 1.459 + # 1.460 + # If any of these fail, we abort the whole thing. If we want to 1.461 + # ignore errors from any of these, just make sure not to ignore 1.462 + # errors from the above "$doit $cpprog $src $dsttmp" command. 1.463 + # 1.464 + { test -z "$chowncmd" || $doit $chowncmd "$dsttmp"; } && 1.465 + { test -z "$chgrpcmd" || $doit $chgrpcmd "$dsttmp"; } && 1.466 + { test -z "$stripcmd" || $doit $stripcmd "$dsttmp"; } && 1.467 + { test -z "$chmodcmd" || $doit $chmodcmd $mode "$dsttmp"; } && 1.468 + 1.469 + # If -C, don't bother to copy if it wouldn't change the file. 1.470 + if $copy_on_change && 1.471 + old=`LC_ALL=C ls -dlL "$dst" 2>/dev/null` && 1.472 + new=`LC_ALL=C ls -dlL "$dsttmp" 2>/dev/null` && 1.473 + 1.474 + eval "$initialize_posix_glob" && 1.475 + $posix_glob set -f && 1.476 + set X $old && old=:$2:$4:$5:$6 && 1.477 + set X $new && new=:$2:$4:$5:$6 && 1.478 + $posix_glob set +f && 1.479 + 1.480 + test "$old" = "$new" && 1.481 + $cmpprog "$dst" "$dsttmp" >/dev/null 2>&1 1.482 + then 1.483 + rm -f "$dsttmp" 1.484 + else 1.485 + # Rename the file to the real destination. 1.486 + $doit $mvcmd -f "$dsttmp" "$dst" 2>/dev/null || 1.487 + 1.488 + # The rename failed, perhaps because mv can't rename something else 1.489 + # to itself, or perhaps because mv is so ancient that it does not 1.490 + # support -f. 1.491 + { 1.492 + # Now remove or move aside any old file at destination location. 1.493 + # We try this two ways since rm can't unlink itself on some 1.494 + # systems and the destination file might be busy for other 1.495 + # reasons. In this case, the final cleanup might fail but the new 1.496 + # file should still install successfully. 1.497 + { 1.498 + test ! -f "$dst" || 1.499 + $doit $rmcmd -f "$dst" 2>/dev/null || 1.500 + { $doit $mvcmd -f "$dst" "$rmtmp" 2>/dev/null && 1.501 + { $doit $rmcmd -f "$rmtmp" 2>/dev/null; :; } 1.502 + } || 1.503 + { echo "$0: cannot unlink or rename $dst" >&2 1.504 + (exit 1); exit 1 1.505 + } 1.506 + } && 1.507 + 1.508 + # Now rename the file to the real destination. 1.509 + $doit $mvcmd "$dsttmp" "$dst" 1.510 + } 1.511 + fi || exit 1 1.512 + 1.513 + trap '' 0 1.514 + fi 1.515 +done 1.516 + 1.517 +# Local variables: 1.518 +# eval: (add-hook 'write-file-hooks 'time-stamp) 1.519 +# time-stamp-start: "scriptversion=" 1.520 +# time-stamp-format: "%:y-%02m-%02d.%02H" 1.521 +# time-stamp-time-zone: "UTC" 1.522 +# time-stamp-end: "; # UTC" 1.523 +# End: