Compile error on OpenBSD
Hello, the compilation of Why3 fails on OpenBSD when running gmake
from the downloaded sources (it fails on opam as well):
gcc -std=gnu99 -Wall -O -g -o src/server/server-unix.o -c src/server/server-unix.c
src/server/server-unix.c: In function 'open_temp_file':
src/server/server-unix.c:129: warning: implicit declaration of function 'strlen'
src/server/server-unix.c:129: warning: incompatible implicit declaration of built-in function 'strlen'
src/server/server-unix.c:131: warning: implicit declaration of function 'strcpy'
src/server/server-unix.c:131: warning: incompatible implicit declaration of built-in function 'strcpy'
src/server/server-unix.c:132: warning: implicit declaration of function 'strcat'
src/server/server-unix.c:132: warning: incompatible implicit declaration of built-in function 'strcat'
src/server/server-unix.c: In function 'server_init_listening':
src/server/server-unix.c:221: warning: implicit declaration of function 'strdup'
src/server/server-unix.c:221: warning: incompatible implicit declaration of built-in function 'strdup'
src/server/server-unix.c:241: warning: incompatible implicit declaration of built-in function 'strlen'
src/server/server-unix.c:244: warning: implicit declaration of function 'memcpy'
src/server/server-unix.c:244: warning: incompatible implicit declaration of built-in function 'memcpy'
src/server/server-unix.c:244: warning: incompatible implicit declaration of built-in function 'strlen'
src/server/server-unix.c: In function 'create_process':
src/server/server-unix.c:329: error: 'RLIMIT_AS' undeclared (first use in this function)
src/server/server-unix.c:329: error: (Each undeclared identifier is reported only once
src/server/server-unix.c:329: error: for each function it appears in.)
src/server/server-unix.c:356: warning: implicit declaration of function 'strerror'
src/server/server-unix.c:356: warning: format '%s' expects type 'char *', but argument 5 has type 'int'
src/server/server-unix.c: In function 'send_started_msg_to_client':
src/server/server-unix.c:380: warning: incompatible implicit declaration of built-in function 'strlen'
src/server/server-unix.c: In function 'send_msg_to_client':
src/server/server-unix.c:404: warning: incompatible implicit declaration of built-in function 'strlen'
gmake: *** [Makefile:709: src/server/server-unix.o] Error 1