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
# 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
|
