search

DOMjudge / domjudge

DOMjudge programming contest jury system
https://www.domjudge.org
GNU General Public License v2.0
720 stars 254 forks source link

Where is configure file ? #155

Closed omerjerk closed 9 years ago

omerjerk commented 9 years ago

I need to install domjudge on my Ubuntu 14.04. But I'm unable to execute './configure --prefix=$HOME/domjudge' as there is no configure file inside the source. Any thought ?

eldering commented 9 years ago

On 08/12/14 17:30, Umair Khan wrote:

I need to install domjudge on my Ubuntu 14.04. But I'm unable to execute './configure --prefix=$HOME/domjudge' as there is no configure file inside the source. Any thought ?

Hi Umair,

You probably are using the git repository directly. The configure script is available in the release tarballs, but when using the git repository, the configure script has to be generated by running 'make dist' in the root of the domjudge source tree. See also: http://www.domjudge.org/docs/admin-manual-10.html#ss10.1

Best, Jaap

P.S. Please ask questions on the domjudge-devel mailinglist. This issue tracker is meant for reporting bugs and feature requests.