📄 configure
字号:
#!/bin/shfor i in "$@"do case $i in CC=*) ;; CXX=*) ;; CFLAGS=*) ;; CXXFLAGS=*) ;; AR=*) ;; ARFLAGS=*) ;; RANLIB=*) ;; LDFLAGS=*) ;; LDFLAGS_CXX=*) ;; LDLIBS=*) ;; LDLIBS_CXX=*) ;; CPPFLAGS=*) ;; PREFIX=*) ;; LIBDIR=*) ;; INCLUDEDIR=*) ;; DOCDIR=*) ;; GMP_PREFIX=*) ;; GMP_INCDIR=*) ;; GMP_LIBDIR=*) ;; NTL_STD_CXX=*) ;; NTL_GMP_LIP=*) ;; NTL_GMP_HACK=*) ;; NTL_CXX_ONLY=*) ;; NTL_X86_FIX=*) ;; NTL_NO_X86_FIX=*) ;; NTL_AVOID_FLOAT=*) ;; NTL_LONG_LONG=*) ;; NTL_AVOID_BRANCHING=*) ;; NTL_FFT_PIPELINE=*) ;; NTL_TBL_REM=*) ;; NTL_NO_INIT_TRANS=*) ;; NTL_RANGE_CHECK=*) ;; NTL_LONG_LONG_TYPE=*) ;; WIZARD=*) ;; -h) more ../doc/config.txt; exit 0 ;; help) more ../doc/config.txt; exit 0 ;; -help) more ../doc/config.txt; exit 0 ;; --help) more ../doc/config.txt; exit 0 ;; *) echo "error: unrecognized option $i"; exit 1 ;; esacdoneif make -s -f make.config "$@" > make.head then echo make.config OKelse cat make.head exit 1fiif make -s -f flags.config "$@" > flags.sedthen echo flags.config OKelse cat flags.sed exit 1fiecho "writing makefile"cat make.head make.tail > makefileecho "writing ../include/NTL/config.h"sed -f flags.sed config_template > ../include/NTL/config.h
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -