_Linux build is broken!_
_Linux build is broken!_

I've changed GNUmakefile so that verifast.cmx depends on pa_verifast.cmo;
the script sill fails for the target ../bin/list.vfmanifest:

export PATH=/home/muehlber/git/www/leuven/verifast/verifast_src/verifast/trunk/src/../bin/:$PATH; export LD_LIBRARY_PATH=$HOME/git/www/leuven/verifast/z3.verifast/lib:$LD_LIBRARY_PATH; cd ../bin; ./verifast -c -emit_vfmanifest list.c
list.c
prelude_core.h(8,1-10): Duplicate datatype name.

I'm using 3.12.0 if that matters.


willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast