-
Notifications
You must be signed in to change notification settings - Fork 7
/
configure
executable file
·72 lines (66 loc) · 3.23 KB
/
configure
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
#!/bin/bash
# *****************************************************************************
# configure TaoJS project
# *****************************************************************************
#
# File Description:
#
# Configure 'make-it-quick' with the most-common options
# Those will be used by the Makefile to generate config.system-setup.mk
# This script is mostly to inferface "like autoconf"
#
#
#
#
#
# *****************************************************************************
# (C) 2017 Christophe de Dinechin <christophe@dinechin.org>
# This software is licensed under the GNU General Public License v3
#******************************************************************************
# This file is part of make-it-quick
#
# make-it-quick is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# make-it-quick is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with make-it-quick. If not, see <https://www.gnu.org/licenses/>.
# *****************************************************************************
SETUP=configured.mk
output() {
echo $1 >> $SETUP
}
rm -f $SETUP
# DD='$(DESTDIR)'
while [ $# -ne 0 ]; do
case "$1" in
--build=*) output CONFIGURE.build=${1/--build=/}/;;
--host=*) output CONFIGURE.host=${1/--host=/}/;;
--program-prefix=*) output CONFIGURE.program-prefix=${1/--program-prefix=/}/;;
--disable-dependency-tracking) output CONFIGURE.disable-dependency-tracking=1;;
--prefix=*) output PREFIX=$DD${1/--prefix=/}/;;
--exec-prefix=*) output PREFIX.exec=$DD${1/--exec-prefix=/}/;;
--bindir=*) output PREFIX.bin=$DD${1/--bindir=/}/;;
--sbindir=*) output PREFIX.sbin=$DD${1/--sbindir=/}/;;
--sysconfigdir=*) output SYSCONFIG=$DD${1/--sysconfigdir=/}/;;
--datadir=*) output PREFIX.share=$DD${1/--datadir=/}/;;
--includedir=*) output PREFIX.h=$DD${1/--includedir=/}/;;
--libdir=*) output PREFIX.lib=$DD${1/--libdir=/}/;;
--libexecdir=*) output PREFIX.libexec=$DD${1/--libexecdir=/}/;;
--localstatedir=*) output PREFIX.var=$DD${1/--localstatedir=/}/;;
--sharedstatedir==*) output PREFIX.str=$DD${1/--sharedstatedir=/}/;;
--mandir==*) output PREFIX.man=$DD${1/--mandir=/}/;;
--infodir==*) output PREFIX.info=$DD${1/--infodir=/}/;;
esac
shift
done
# Emit the location of configuration sources
output 'CONFIG_SOURCES=$(PREFIX.lib)make-it-quick/config/'
echo "# Summary of configuration:"
cat $SETUP