split ivy package for Z3 into Linux, Windows, OS configuration.
@@ -23,21 +23,25 @@ SPDX-License-Identifier: Apache-2.0
</info>
<configurations>
- <conf name="solver-z3" />
+ <conf name="solver-z3" extends="solver-z3-linux,solver-z3-windows,solver-z3-os"/>
+ <conf name="solver-z3-linux" extends="solver-z3-common"/>
+ <conf name="solver-z3-windows" extends="solver-z3-common"/>
+ <conf name="solver-z3-os" extends="solver-z3-common"/>
+ <conf name="solver-z3-common" visibility="private"/>
</configurations>
<publications defaultconf="solver-z3">
<!-- Linux64 files -->
- <artifact name="libz3" conf="solver-z3" type="shared-object" ext="so" />
- <artifact name="libz3java" conf="solver-z3" type="shared-object" ext="so"/>
+ <artifact name="libz3" conf="solver-z3-linux" type="shared-object" ext="so" />
+ <artifact name="libz3java" conf="solver-z3-linux" type="shared-object" ext="so"/>
<!-- Windows64 files -->
- <artifact name="libz3" conf="solver-z3" type="dll" ext="dll" />
- <artifact name="libz3java" conf="solver-z3" type="dll" ext="dll"/>
+ <artifact name="libz3" conf="solver-z3-windows" type="dll" ext="dll" />
+ <artifact name="libz3java" conf="solver-z3-windows" type="dll" ext="dll"/>
<!-- MacOS files -->
- <artifact name="libz3" conf="solver-z3" type="dylib" ext="dylib" />
- <artifact name="libz3java" conf="solver-z3" type="dylib" ext="dylib"/>
+ <artifact name="libz3" conf="solver-z3-os" type="dylib" ext="dylib" />
+ <artifact name="libz3java" conf="solver-z3-os" type="dylib" ext="dylib"/>
<!-- common Java file, Java is platform independent -->
- <artifact name="com.microsoft.z3" conf="solver-z3" ext="jar"/>
+ <artifact name="com.microsoft.z3" conf="solver-z3-common" ext="jar"/>
</publications>
<dependencies></dependencies>
