summaryrefslogtreecommitdiff
path: root/tools/autogen
blob: cd9f6d2fbcd70dc1092e6fd07922c311ef18a330 (plain)
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
#!/bin/sh -e
#**************************************************************************
#*                                                                        *
#*                                 OCaml                                  *
#*                                                                        *
#*                David Allsopp, MetaStack Solutions Ltd.                 *
#*                                                                        *
#*   Copyright 2019 MetaStack Solutions Ltd.                              *
#*                                                                        *
#*   All rights reserved.  This file is distributed under the terms of    *
#*   the GNU Lesser General Public License version 2.1, with the          *
#*   special exception on linking described in the file LICENSE.          *
#*                                                                        *
#**************************************************************************

# Remove the autom4te.cache directory to make sure we start in a clean state
rm -rf autom4te.cache

${1-autoconf} --force --warnings=all,error

# Allow pre-processing of configure arguments for Git check-outs
# The sed call removes dra27's copyright on the whole configure script...
sed -e '/^#[^!]/d' tools/git-dev-options.sh > configure.tmp

# - Workaround sr #110554 (https://savannah.gnu.org/support/index.php?110554)
# - sed -i without a backup file is not portable, hence configure.tmp
sed -e '/split(line, arg/s|" "|/[ \\r\\t]/|' \
    -e '/define|undef/s/|\\\$/|\\r?\\$/' \
    -e '1d' \
    configure >> configure.tmp

mv -f configure.tmp configure
chmod +x configure