configure

Thu, 10 Jun 2021 11:58:23 +0200

author
Kim Alvefur <zash@zash.se>
date
Thu, 10 Jun 2021 11:58:23 +0200
changeset 445
b119dc4d8bc2
parent 416
92ce569b9b73
permissions
-rwxr-xr-x

plugins.smacks: Don't warn about zero stanzas acked

It's only if the count somehow goes backwards that something is really
wrong. An ack for zero stanzas is fine and we don't need to do anything.

371
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
1 #!/bin/sh
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
2
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
3 SQUISH=./buildscripts/squish
416
92ce569b9b73 buildsys: Update to fetch from Prosody 0.10 branch
Kim Alvefur <zash@zash.se>
parents: 371
diff changeset
4 PROSODY_URL=https://hg.prosody.im/0.10/raw-file/tip/
371
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
5 PREFIX="/usr/local"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
6
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
7 LUA_VERSION=5.1
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
8 LUA_INTERPRETER=lua$LUA_VERSION
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
9
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
10 if which $LUA_INTERPRETER>/dev/null; then
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
11 LUA_DIR=$($LUA_INTERPRETER -e 'print((package.path:match("'"${PREFIX}"'[^;]+%?%.lua"):gsub("/%?%.lua$", "")))')
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
12 else
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
13 LUA_DIR="$PREFIX/share/lua/$LUA_VERSION"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
14 fi
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
15
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
16 # Help
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
17
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
18 show_help() {
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
19 cat <<EOF
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
20 Configure Prosody prior to building.
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
21
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
22 --help This help.
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
23 --prefix Installation path prefix (used when installing)
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
24 Default: $PREFIX
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
25 --lua-lib-dir=DIR You can also specify Lua's libraries dir.
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
26 Default: $LUA_DIR
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
27 --squish Path to squish utility (used for building)
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
28 Default: $SQUISH
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
29 --prosody-rev Prosody revision to pull files from
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
30 Default: tip
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
31 --prosody-url URL to pull Prosody files from (not compatible with --prosody-rev)
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
32 Default: $PROSODY_URL
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
33 EOF
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
34 }
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
35
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
36
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
37 while [ "$1" ]
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
38 do
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
39 value="`echo $1 | sed 's/[^=]*=\(.*\)/\1/'`"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
40 if echo "$value" | grep -q "~"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
41 then
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
42 echo
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
43 echo '*WARNING*: the "~" sign is not expanded in flags.'
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
44 echo 'If you mean the home directory, use $HOME instead.'
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
45 echo
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
46 fi
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
47 case "$1" in
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
48 --help)
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
49 show_help
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
50 exit 0
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
51 ;;
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
52 --lua-lib-dir=*)
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
53 LUA_LIBDIR="$value"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
54 ;;
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
55 --with-squish=*)
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
56 SQUISH="$value"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
57 ;;
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
58 --prosody-rev=*)
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
59 PROSODY_REV="$value"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
60 PROSODY_REV_SET=yes
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
61 ;;
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
62 --prosody-url=*)
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
63 PROSODY_URL="$value"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
64 PROSODY_URL_SET=yes
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
65 ;;
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
66 *)
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
67 echo "Error: Unknown flag: $1"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
68 exit 1
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
69 ;;
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
70 esac
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
71 shift
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
72 done
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
73
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
74 # Sanity-check options
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
75
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
76 if ! test -x "$SQUISH"; then
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
77 echo "FATAL: Unable to find/use squish: $SQUISH";
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
78 exit 1;
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
79 fi
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
80
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
81 if [ "$PROSODY_URL_SET" = "yes" -a "$PROSODY_REV_SET" = "yes" ]; then
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
82 echo "FATAL: You can only specify one of --prosody-rev and --prosody-url, not both"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
83 exit 1;
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
84 fi
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
85
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
86 if [ "$PROSODY_REV_SET" = "yes" ]; then
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
87 PROSODY_URL="https://hg.prosody.im/trunk/raw-file/${PROSODY_REV}/"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
88 fi
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
89
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
90 cat <<EOF >config.unix
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
91
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
92 # This file was automatically generated by the configure script.
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
93 # Run "./configure --help" for details.
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
94
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
95 SQUISH=./buildscripts/squish
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
96 PROSODY_URL=$PROSODY_URL
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
97 LUA_DIR=$LUA_DIR
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
98 EOF
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
99
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
100 echo
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
101 echo "Using squish from: $SQUISH"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
102 echo "Installing verse.lua to: $LUA_DIR"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
103 echo "Fetching Prosody files from: $PROSODY_URL"
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
104 echo
88bcf9fbdd07 configure, Makefile: Add configure script to set build-time variables
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
105 echo "Configured successfully. Please run 'make' to proceed."

mercurial