Hi everybody, On Sat, Jul 23, 2016 at 08:19:33AM +0000, Gianfranco Costamagna wrote: > let me explain, we (Fabian to be honest) had to restrict the built binary > packages only to some > architectures, because -1 revision was failing somewhere.
Yes, the main issue was that mono, required to build the libz3-cil package, is only available on a handful of platforms, so the -0.1 revision was BD-Uninstallable on quite a few platforms. To change that, I restricted the -cil package, along with its build dependencies, to those architectures that support mono, so that the remaining binaries would be available on all platforms. While I was at it, I decided to attempt to do the same for the -java and -jni packages. The -java package was arch:all, but it depends on the architecture-dependent -jni package, so it couldn't be installed on all platforms anyways. The main issue, however, is that the build system of z3 is capable of building either both the -jni and -java material, or neither. That means that z3 would fail to build on platforms that can't build the -jni package even when we're just trying to build the arch:all packages. > that said, I'm wondering about making the java package arch:all again, and > move > the java dependencies to build depends-indep target, maybe this will fix this > > issue in a better way. The -jni package remains architecture-dependent, however. This means that Java would still have to be present in *both* Build-Depends and Build-Depends-Indep, which would be kind of useless. I will have another look at this, although I probably won't get around to doing that before next week. -- Fabian
