gaelthomas

I don't understand where is the problem? Z3's makefiles and vmkit's makefile are totally unrelated... So you can add your prefered --std= in Z3's makefiles? Gaël 2012/3/31 jean-dao [email protected]: >...

Ok, I understand the pbm :) You have two solutions. Either you can modify your files to be compliant with the standard used in vmkit, nor you can just define...