C Compiling Base system files

[Kosen]

Hello. I am attempting to compile the base system files so that I can check for semantic bugs by using static analysis. It's a project I am working on.

Currently I want to start of with the memory module. I tried compiling "src/sys/vm/default_pager.c" but I get the following errors. Any ideas on how I can fix them?

In file included from default_pager.c:36:

/usr/include/sys/systm.h:377:17: error: unknown type name 'intrmask_t'; did you mean 'intmax_t'?

static __inline intrmask_t      splclock(void)          { return 0; }

default_pager.c:153:10: error: use of undeclared identifier 'FALSE'

        return (FALSE);

 

[SirDice]

I suggest you get some experience building the whole thing before embarking on building small parts of it. That will get you familiar with the build process.

Assuming the source code is complete:

cd /usr/src
make buildworld
make buildkernel