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



--
---------------------------------------------------------------------------------------------
Nguyễn Vũ Linh - Sói Hoang

Software/Website/Game Developer - AI, PTS, Corel, AE Designer
......................
Phone: 0963.203.813
.............................