[Cleanup] Migrated to other script

Author: Michael Vasseur

gitlab/base.sh

@@ -54,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