2009-09-11 21:28:47 +08:00
|
|
|
#! /bin/sh
|
|
|
|
#
|
|
|
|
# This script is a simple wrapper calling the autoconf configuration
|
|
|
|
# script (configure) in install/
|
|
|
|
# Dependencies may be also directly generated
|
|
|
|
#
|
|
|
|
# Courtesy of A. Ferretti and G. Bussi
|
|
|
|
#
|
|
|
|
#================================================================
|
|
|
|
#
|
|
|
|
MANUAL=" Usage
|
|
|
|
configure [-h, --help] [<conf_flags>]
|
|
|
|
|
|
|
|
-h, --help print this manual
|
|
|
|
<conf_flags> these flags will be passed to
|
|
|
|
the autoconf configure
|
|
|
|
|
|
|
|
After configuration, the make.sys file will created in the
|
|
|
|
QE home (current) directory
|
|
|
|
|
2009-11-04 22:58:01 +08:00
|
|
|
---------------------------------------------------------------
|
|
|
|
Manual from autoconf configure :
|
|
|
|
---------------------------------------------------------------
|
2009-09-11 21:28:47 +08:00
|
|
|
"
|
|
|
|
#
|
|
|
|
#================================================================
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
|
|
# run from directory where this script is
|
|
|
|
auxdir=`echo $0 | sed 's/\(.*\)\/.*/\1/'` # extract pathname
|
|
|
|
if [ "$auxdir" != "configure" ] ; then cd $auxdir ; fi
|
|
|
|
|
2012-06-17 21:55:58 +08:00
|
|
|
root=.
|
|
|
|
if [ -d "GPU" ]; then
|
|
|
|
root="./GPU"
|
|
|
|
fi
|
2009-09-11 21:28:47 +08:00
|
|
|
|
|
|
|
#
|
|
|
|
# detect the simplest cases
|
|
|
|
#
|
|
|
|
case $1 in
|
2012-06-17 21:55:58 +08:00
|
|
|
("-h" | "--help" ) echo "$MANUAL" ; $root/install/configure --help ; exit 0 ;;
|
2009-09-11 21:28:47 +08:00
|
|
|
esac
|
|
|
|
|
|
|
|
#
|
|
|
|
# run the autoconf configure with the
|
|
|
|
# given cong_flags
|
|
|
|
#
|
|
|
|
|
2012-06-17 21:55:58 +08:00
|
|
|
test -e $root/install/make.sys && rm $root/install/make.sys
|
|
|
|
test -e $root/install/configure.msg && rm $root/install/configure.msg
|
2009-09-11 21:28:47 +08:00
|
|
|
|
2012-06-17 21:55:58 +08:00
|
|
|
$root/install/configure "$@"
|
2009-09-11 21:28:47 +08:00
|
|
|
|
|
|
|
#
|
|
|
|
# copy make.sys in the home dir
|
|
|
|
# and final clean up
|
|
|
|
#
|
2012-06-17 21:55:58 +08:00
|
|
|
test -e $root/install/make.sys && mv $root/install/make.sys .
|
|
|
|
test -e config.log && mv config.log $root/install/
|
|
|
|
test -e config.status && mv config.status $root/install/
|
|
|
|
test -e configure.msg && mv configure.msg $root/install/
|
2009-09-11 21:28:47 +08:00
|
|
|
#
|
|
|
|
|
|
|
|
exit 0
|
|
|
|
|
|
|
|
|