minix.sh

# clone minix v3.2.1 to bench/minix

[[ -L bench/minix/include/machine ]] || ln -s arch/i386/include/ ./bench/minix/include/machine
[[ -L bench/minix/sys/machine ]] || ln -s arch/i386/include/ ./bench/minix/sys/machine
[[ -L bench/minix/sys/x86 ]] || ln -s arch/x86/include/ ./bench/minix/sys/x86

for f in $(find bench/minix/kernel/ -not -path 'bench/minix/kernel/arch/earm/*' -name '*.c') ; do bin/sloopy -allow-infinite-loops $f -- \
    -Ibench/minix/ \
    -Ibench/minix/include/ \
    -Ibench/minix/kernel/ \
    -Ibench/minix/lib/libexec/ \
    -Ibench/minix/lib/libcompat_minix/include/ \
    -Ibench/minix/kernel/arch/i386/include/ \
    -Ibench/minix/sys/ \
    -Ibench/minix/sys/sys/ \
    -D_NETBSD_SOURCE -DUSE_APIC -DCONFIG_SMP -D_MINIX -D__kernel__ -D__minix -target i686 -w ; done

# -D_NETBSD_SOURCE      error: use of undeclared identifier 'FPE_FLTINV'
# -DUSE_APIC            error: use of undeclared identifier 'config_apic_timer_x'
# -DCONFIG_SMP          error: use of undeclared identifier 'CPU_IS_READY'
# -D_MINIX              error: unknown type name 'bitchunk_t'
# -D__kernel__          error: use of undeclared identifier 'CPF_WRITE'
# -D__minix             error: 'pthread_types.h' file not found
# -target i686          error: use of undeclared identifier 'IRQ0_VECTOR'