brial 1.2.9 is out

[François Bissey]

Hi all,

I put a new maintenance release of Brial out. See the notes at:
https://github.com/BRiAl/BRiAl/releases/tag/1.2.9

The release has basically no new real code but focuses on various building
and administrative issues.

The trigger for release was https://github.com/BRiAl/BRiAl/issues/49
which requested an update of boost detection macros so that brial can
build on riscv64 architecture.

cheers,
François

[Antonio Rojas]

Hi,

 Sage doesn't build with this version of brial

In file included from build/cythonized/sage/rings/polynomial/pbori/pbori.cpp:691:
/usr/include/polybori/pbori_defs.h:27:10: fatal error: cudd/cudd.h: No such file or directory
  27 | #include <cudd/cudd.h>
     |          ^~~~~~~~~~~~~

[François Bissey]

I should have left that bit out of this release. I will have a look at what can be done quickly.

[François Bissey]

A quick fix is to add -I/usr/include/polybori (or whichever your install prefix is) to
CPPFLAGS. There should be a guard around that header depending on whether an internal version
has been used or not.

> On 1/10/2020, at 8:20 PM, Antonio Rojas <nqn...@gmail.com> wrote:
>

> --
> You received this message because you are subscribed to the Google Groups "sage-packaging" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-packagin...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-packaging/e27b338b-a24e-4e11-b360-f0d97148314dn%40googlegroups.com.

[François Bissey]

I am basically waiting for CI to go through all checks, but I am basically making
a 1.2.10 release with the cudd removal pulled out. After closer inspection this is
not ready. The only case where things work seamlessly is if you have a cudd-2.5.x
install and you use external cudd.

[François Bissey]

1.2.10 which reverts the tentative Rudd unbundling is out.

I will create a 1.2.x maintenance branch which will receive normal maintenance
updates.
cuddle unbundling and other potential development will be on master for a future
1.3.0 release.

François