Install hotCRP at a Ubuntu 14 Machine
Apr 12, 2018
Xing Lin
1 minute read
  1. Update packages

     sudo apt-get update
  2. Install php7. The default php coming with Ubuntu 14 is 5.5.9 while hotCRP prefers 5.6 and later.

    1. Install the software-properties-common package to get the add-apt-repository command.

       sudo apt-get install software-properties-common
    2. Add php7 ppa and do an update

       sudo add-apt-repository ppa:ondrej/php	
       sudo apt-get update
    3. Install php7

       sudo apt-get install php7.2 php7.2-mysql
  3. Install other required packages

     sudo apt-get install git apache2 mysql-server zip poppler-utils sendmail
  4. Get hotCRP source code

     git clone 
  5. Create the database for hotCRP

     lib/ --user root --password  
  6. Add the read permission for conf/options.conf

     chmod +r conf/options.conf
  7. Add the directory to /etc/apache2/apache2.conf

         <Directory "/w/hotcrp">    
             Options Indexes Includes FollowSymLinks  
             AllowOverride all  
             Require all granted  
         Alias /hotcrp /w/hotcrp  
  8. Set upload_max_filesize, post_max_size, and max_input_vars in hotcrp/.htaccess file. Use default values are good enough.

  9. /etc/php/7.2/apache2/

    • Increase the session gc life time

        session.gc_maxlifetime = 86400
    • Enable mysqli extension, by uncommenting the following line

  10. Restart the Apache web server

     sudo service apache2 restart
  11. The website is up and running. Visit IP_address/hotcrp to check it out.