Document via the configure what installation method was used

Store optional installation method for install metrics, we can use this to see
what to focus efforts on.

Author: vmcj

configure.ac

@@ -11,6 +11,11 @@ AC_DEFUN([AX_WITH_COMMENT], [
 	AC_ARG_WITH([ax_comment_$1],[$2],[],[])
 	])
 
+AC_SUBST(INSTALL_METHOD, git)
+AC_ARG_WITH(install_method,AS_HELP_STRING([--with-install-method],
+[installation method e.g. debpackage, docker, git, tarball, (default: git).]),
+[if test "x$with_install_method" != x ; then AC_SUBST(INSTALL_METHOD,$with_install_method) fi])
+
 AC_SUBST(FHS_ENABLED,no)
 AC_ARG_ENABLE(fhs,AS_HELP_STRING([--enable-fhs],
 [use FHS directories (default: no), see below under "Optional
@@ -329,6 +334,7 @@ if test "x$QUIET" = x ; then
 echo ""
 echo "Summary:"
 echo " * project.............: $PACKAGE_NAME $PACKAGE_VERSION"
+echo " * installation source.: $INSTALL_METHOD"
 echo " * prefix..............: $prefix"
 if test "x$JUDGEHOST_BUILD_ENABLED" = xyes; then
 echo " * CPPFLAGS............: $CPPFLAGS"

etc/domserver-static.php.in

@@ -6,6 +6,7 @@
 // @configure_input@
 
 define('DOMJUDGE_VERSION', '@DOMJUDGE_VERSION@');
+define('DOMJUDGE_INSTALL_METHOD', '@INSTALL_METHOD@');
 
 define('BINDIR',    '@domserver_bindir@');
 define('ETCDIR',    '@domserver_etcdir@');

paths.mk.in

@@ -15,6 +15,7 @@ PACKAGE_VERSION   = @PACKAGE_VERSION@
 PACKAGE_STRING    = @PACKAGE_STRING@
 PACKAGE_TARNAME   = @PACKAGE_TARNAME@
 PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
+INSTALL_METHOD    = @INSTALL_METHOD@
 
 # Compilers and FLAGS
 CC  = @CC@
@@ -130,6 +131,7 @@ define substconfigvars
 	-e "s|@configure_input[@]|Generated from '$<' on `date`.|g" \
 	-e 's,@PACKAGE_NAME[@],@PACKAGE_NAME@,g' \
 	-e 's,@DOMJUDGE_VERSION[@],@DOMJUDGE_VERSION@,g' \
+	-e 's,@INSTALL_METHOD[@],@INSTALL_METHOD@,g' \
 	-e 's,@domserver_bindir[@],@domserver_bindir@,g' \
 	-e 's,@domserver_etcdir[@],@domserver_etcdir@,g' \
 	-e 's,@domserver_webappdir[@],@domserver_webappdir@,g' \

webapp/config/static.yaml.in

@@ -2,6 +2,7 @@
 
 parameters:
     domjudge.version: @DOMJUDGE_VERSION@
+    domjudge.installmethod: @INSTALL_METHOD@
     domjudge.bindir: @domserver_bindir@
     domjudge.etcdir: @domserver_etcdir@
     domjudge.webappdir: @domserver_webappdir@