Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit 40a59a4

Browse files
committed
Trac #29369: detect only newish versions of brial.
Fedora 28 ships brial-0.8.5, which is too old it seems. This commit updates the test program in brial's spkg-configure.m4 to modify a member variable that used to be const, but now isn't. That should cause compilation to fail with older versions of brial.
1 parent 4ad36bd commit 40a59a4

File tree

1 file changed

+8
-1
lines changed

1 file changed

+8
-1
lines changed

build/pkgs/brial/spkg-configure.m4

+8-1
Original file line numberDiff line numberDiff line change
@@ -13,12 +13,19 @@ SAGE_SPKG_CONFIGURE([brial], [
1313
#include <polybori/groebner/groebner_alg.h>
1414
USING_NAMESPACE_PBORI
1515
USING_NAMESPACE_PBORIGB
16+
17+
class MyConstant : public BooleConstant{
18+
public: void negate() { this->m_value = !this->m_value; }
19+
};
1620
],[
1721
BoolePolyRing r = BoolePolyRing(2, COrderEnums::dlex);
1822
ReductionStrategy rs = ReductionStrategy(r);
19-
rs.llReduceAll();
23+
rs.llReduceAll(); // uses groebner lib
2024
if (2 != r.nVariables()) { return 1; }
2125
if (r.constant(true) == r.constant(false)) { return 2; }
26+
MyConstant f = MyConstant();
27+
f.negate(); // ensures v1.1.0+ if m_value isn't const
28+
if (!f.isOne()) { return 3; }
2229
return 0;
2330
])
2431
],

0 commit comments

Comments
 (0)