provide publication configuration without GPL.
<conf name="runtime-yices2" extends="core" description="only one solver included"/>
<!-- The normal dependencies with all solvers included. -->
- <conf name="runtime" extends="runtime-mathsat,runtime-optimathsat,runtime-smtinterpol,runtime-princess,runtime-z3,runtime-cvc4,runtime-boolector,runtime-yices2" description="all solvers included"/>
+ <conf name="runtime"
+ extends="runtime-mathsat,runtime-optimathsat,runtime-smtinterpol,runtime-princess,runtime-z3,runtime-cvc4,runtime-boolector,runtime-yices2"
+ description="all solvers included"/>
+
+ <!-- The normal dependencies with all solvers included, except those unter GPL. -->
+ <conf name="runtime-without-gpl"
+ extends="runtime-mathsat,runtime-optimathsat,runtime-smtinterpol,runtime-princess,runtime-z3,runtime-cvc4,runtime-boolector"
+ description="all solvers included, except those unter GPL"/>
<!-- Dependencies needed for building or running tests. -->
<conf name="test" visibility="private" description="for developing and testing"/>
