Dear Sir,
I forgot something when I setup Domjudge, I didn't install judgehost. Now, I just install it, but I got error when I run:
make judgehost
Error detail:
make -C etc config make[1]: Entering directory `/home/domjudge/etc' make[1]: Nothing to be done for `config'. make[1]: Leaving directory `/home/domjudge/etc' Recursing target `judgehost' into: etc judge misc-tools make[1]: Entering directory `/home/domjudge/etc' make[1]: Nothing to be done for `judgehost'. make[1]: Leaving directory `/home/domjudge/etc' make[1]: Entering directory `/home/domjudge/judge' gcc -fPIE -Wl,-z,relro -Wl,-z,now runguard.o /usr/lib/libm.so -o runguard /usr/lib/libm.so: could not read symbols: File in wrong format collect2: ld returned 1 exit status make[1]: *** [runguard] Error 1 make[1]: Leaving directory `/home/domjudge/judge' make: *** [judgehost] Error 1
And when I run make install-judgehost, I also get error like that!
Can you help me?
Thanks for your support!
On Tue, Dec 8, 2015 at 11:17 AM, Thijs Kinkhorst thijs@kinkhorst.com wrote:
Hi Linh,
I have a problem, and I need your help. I setup and configured domjudge successful. But now, I want to change port of Domjudge (example, when we organize an offline contest, I want to close port on public network, I only open domjudge port for LAN).
So can I change port of domjudge? Default port is 80, right?
It's no problem for DOMjudge to run on any port you'd like. This is just a matter of changing your Apache configuration (look for the "Listen" directive somewhere under /etc/httpd), and make sure you update the URL in your judgehosts' restapi.secrets file to also include the correct port number.
Cheers, Thijs