📄 runconfig.sh
字号:
#!/bin/sh######################################################################## File: runconfig.sh## Purpose: Script to determine most options. User specifies rest.## Version: $Id: runconfig.sh,v 1.1 2001/09/06 14:14:55 cary Exp $## XGRAFIX######################################################################### Find location of this file and, hence, configure#shfile=$0shfiledir=`dirname $shfile`lineopts="$*"haveprefix=`echo $lineopts | grep -- --prefix=`# echo lineopts = $lineopts## Determine the host#if [ -f /usr/ucb/hostname ]; then hostnm=`/usr/ucb/hostname`else hostnm=`hostname`fi## Look for seaborg#isseaborg=`echo $hostnm | grep s00`if test "$isseaborg"; then hostnm=seaborg.nersc.gov; fiecho host is $hostnmecho "Building double precision? (y/n) "read dblif test "$dbl" = y; then echo Building in double precision prec="--with-SCALAR=double"else echo Building in single precision prec="--with-SCALAR=float"fiecho## Known options#case $hostnm in mcurie | mcurie.nersc.gov) echo assuming host is mcurie.nersc.gov confopts="--with-CXX=CC --with-CC=cc $prec" if test ! "$haveprefix"; then confopts="$confopts --prefix=$HOME/unicos2.0" fi ;; *.txcorp.com | *.colorado.edu) confopts="$prec" if test ! "$haveprefix"; then confopts="$confopts --prefix=/usr/local/xgrafix" fi ;;esacconfopts="$confopts $lineopts"## Allow additional options#echo configure options: $confoptsechoecho "Other options (e.g., --enable-optimize)? Or type \"quit\" to quit."read otheroptsif test "$otheropts" = quit; then exit; ficonfopts="$confopts $otheropts"## Will now run configure#cmd="$shfiledir/configure $confopts"echo $cmd$cmd
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -