version=COHERENT revision=4.2 level="14" echo -n '-DVERSION="'$version'" -DRELEASE="'$revision'.'$level'" '