. $stdenv/setup

configureFlags="--with-aterm=$aterm --with-sdf=$sdf"
genericBuild