Migrated to other script

Author: Michael Vasseur

gitlab/base.sh

@@ -10,14 +10,6 @@ export APP_ENV="${1:-prod}"
 
 lsb_release -a
 
-cat > ~/.my.cnf <<EOF
-[client]
-host=sqlserver
-user=root
-password=${MYSQL_ROOT_PASSWORD}
-EOF
-cat ~/.my.cnf
-
 # FIXME: This chicken-egg problem is annoying but let us bootstrap for now.
 echo "CREATE DATABASE IF NOT EXISTS \`${DATABASE_NAME}\` DEFAULT CHARACTER SET utf8mb4 COLLATE utf8mb4_unicode_ci;" | mysql
 echo "CREATE USER 'domjudge'@'%' IDENTIFIED BY 'domjudge';" | mysql
@@ -62,17 +54,6 @@ set +e
 composer install --no-scripts || rm -rf vendor
 set -e
 
-# install all php dependencies
-composer install --no-scripts
-echo -e "\033[0m"
-cd $DIR
-
-# configure, make and install (but skip documentation)
-make configure
-./configure --with-baseurl='http://localhost/domjudge/' --with-domjudge-user=domjudge --with-judgehost_chrootdir=${DIR}/chroot/domjudge |& tee "$GITLABARTIFACTS/configure.log"
-make build-scripts domserver judgehost docs |& tee "$GITLABARTIFACTS/make.log"
-sudo make install-domserver install-judgehost install-docs |& tee -a "$GITLABARTIFACTS/make.log"
-
 # setup database and add special user
 # shellcheck disable=SC2164
 cd /opt/domjudge/domserver