📄 ghmm-config.in
字号:
#! /bin/sh# author : Achim Gaedke# filename : ghmm/tools/ghmm-config# created : DATE: April 2001# $Id: ghmm-config.in 291 2003-11-09 14:47:43Z wasinee $copyright(){cat <<EOF__copyright__EOFexit 0}usage(){ cat <<EOFUsage: ghmm-config [OPTIONS]Options: [--prefix] [--exec-prefix] [--lib-prefix] [--version] [--libs] [--cflags] [--copyright] [--help]EOF exit $1}if test $# -eq 0; then usage 1 1>&2fiprefix=@prefix@exec_prefix=@exec_prefix@while test $# -gt 0; do case "$1" in -*=*) optarg=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;; *) optarg= ;; esac case $1 in --prefix) echo ${prefix} ;; --exec-prefix) echo ${exec_prefix} ;; --version) echo @VERSION@ ;; --cflags) echo @CFLAGS@ -I${prefix}/include ;; --libs) echo -L${prefix}/lib -lghmm @LIBS@ ;; --lib-prefix) echo ${prefix}/lib ;; --copyright) copyright ;; --help) usage 0 ;; *) usage 1 1>&2 ;; esac shiftdone
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -