cd /home/jrschlichting/Documents/uberspark/src/libs/libxmhfc && make -f libubersparkc.mk -w verify	
make[1]: Entering directory '/home/jrschlichting/Documents/uberspark/src/libs/libxmhfc'
frama-c -no-frama-c-stdlib -wp -wp-rte -wp-prover alt-ergo,z3,cvc3 -cpp-extra-args=-nostdinc -cpp-extra-args=-D__XMHF_VERIFICATION__ -cpp-extra-args=-I/usr/local/uberspark/include -cpp-extra-args=-I/usr/local/uberspark/hwm/include -cpp-extra-args=-I/usr/local/uberspark/libs/include  -cpp-extra-args=-D__XMHF_TARGET_CPU_X86__ -cpp-extra-args=-D__XMHF_TARGET_CONTAINER_VMX__ -cpp-extra-args=-D__XMHF_TARGET_PLATFORM_X86PC__ -cpp-extra-args=-D__XMHF_TARGET_TRIAD_X86_VMX_X86PC__ -cpp-extra-args=-I/home/jrschlichting/Documents/uberspark/src/libs/libxmhfc/include -cpp-extra-args=-I/home/jrschlichting/Documents/uberspark/src/libs/libxmhfcrypto/include -cpp-extra-args=-I/home/jrschlichting/Documents/uberspark/src/libs/libxmhfhw/include -cpp-extra-args=-I/home/jrschlichting/Documents/uberspark/src/libs/libxmhfgeec/include -cpp-extra-args=-I/home/jrschlichting/Documents/uberspark/src/libs/libxmhfdebug/include .//memcmp.c
[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] warning: your preprocessor is not known to handle option `-dD'. If pre-processing fails because of it, please add -no-cpp-frama-c-compliant option to Frama-C's command-line. If you do not want to see this warning again, explicitly use option -cpp-frama-c-compliant.
[kernel] Parsing /memcmp.c (with preprocessing)
/usr/lib/gcc/x86_64-linux-gnu/5/../../../../lib32/crt1.o: In function `_start':
(.text+0x18): undefined reference to `main'
collect2: error: ld returned 1 exit status
[kernel] user error: failed to run: gcc -m32 -C -I.  -D__FRAMAC__ -dD -nostdinc -D__XMHF_VERIFICATION__ -I/usr/local/uberspark/include -I/usr/local/uberspark/hwm/include -I/usr/local/uberspark/libs/include -D__XMHF_TARGET_CPU_X86__ -D__XMHF_TARGET_CONTAINER_VMX__ -D__XMHF_TARGET_PLATFORM_X86PC__ -D__XMHF_TARGET_TRIAD_X86_VMX_X86PC__ -I/home/jrschlichting/Documents/uberspark/src/libs/libxmhfc/include -I/home/jrschlichting/Documents/uberspark/src/libs/libxmhfcrypto/include -I/home/jrschlichting/Documents/uberspark/src/libs/libxmhfhw/include -I/home/jrschlichting/Documents/uberspark/src/libs/libxmhfgeec/include -I/home/jrschlichting/Documents/uberspark/src/libs/libxmhfdebug/include -m32 -o '/tmp/memcmp.c3e4153.i' './/memcmp.c'
                     you may set the CPP environment variable to select the proper preprocessor command or use the option "-cpp-command".
[kernel] user error: stopping on file ".//memcmp.c" that has errors. Add '-kernel-msg-key pp'
                     for preprocessing command.
[kernel] Frama-C aborted: invalid user input.
libubersparkc.mk:21: recipe for target 'verify' failed
make[1]: *** [verify] Error 1
make[1]: Leaving directory '/home/jrschlichting/Documents/uberspark/src/libs/libxmhfc'
Makefile:43: recipe for target 'verify-ubersparklibs' failed
make: *** [verify-ubersparklibs] Error 2