diff --git a/math/brial/Makefile b/math/brial/Makefile index a7002fde317c..5cda7183c270 100644 --- a/math/brial/Makefile +++ b/math/brial/Makefile @@ -1,28 +1,27 @@ PORTNAME= BRiAl -DISTVERSION= 1.2.12 -PORTREVISION= 3 +DISTVERSION= 1.2.15 CATEGORIES= math MASTER_SITES= https://github.com/${PORTNAME}/${PORTNAME}/releases/download/${DISTVERSION}/ DISTNAME= ${PORTNAME:tl}-${DISTVERSION} MAINTAINER= ports@FreeBSD.org COMMENT= Library for polynomials over boolean rings WWW= https://github.com/BRiAl/BRiAl LICENSE= GPLv2 LIB_DEPENDS= libm4ri.so:math/m4ri \ libgd.so:graphics/gd \ libpng.so:graphics/png \ libboost_thread.so:devel/boost-libs -USES= autoreconf compiler:c++11-lang libtool localbase:ldflags \ +USES= compiler:c++11-lang libtool localbase:ldflags \ pkgconfig tar:bz2 USE_LDCONFIG= yes GNU_CONFIGURE= yes INSTALL_TARGET= install-strip TEST_TARGET= check .include diff --git a/math/brial/distinfo b/math/brial/distinfo index c977b006a696..b05de6845ff5 100644 --- a/math/brial/distinfo +++ b/math/brial/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1737893580 -SHA256 (brial-1.2.12.tar.bz2) = ca009e3722dd3f0a60d15501caed1413146c80abced57423e32ae0116f407494 -SIZE (brial-1.2.12.tar.bz2) = 1259569 +TIMESTAMP = 1774017950 +SHA256 (brial-1.2.15.tar.bz2) = 1d0e7de01b1b60ad892dee6c02503f5932e2ed211f3f8dbdf1a3216c696ef201 +SIZE (brial-1.2.15.tar.bz2) = 1199316 diff --git a/math/brial/files/patch-Makefile.in b/math/brial/files/patch-Makefile.in new file mode 100644 index 000000000000..f5565fc7da8c --- /dev/null +++ b/math/brial/files/patch-Makefile.in @@ -0,0 +1,11 @@ +--- Makefile.in.orig 2025-10-01 23:26:43 UTC ++++ Makefile.in +@@ -232,7 +232,7 @@ am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/bria + $(srcdir)/config_dummy.h.in \ + $(top_srcdir)/libbrial/include/polybori/config.h.in README \ + ar-lib compile config.guess config.sub depcomp install-sh \ +- ltmain.sh missing ++ ltmain.sh + DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) + distdir = $(PACKAGE)-$(VERSION) + top_distdir = $(distdir) diff --git a/math/brial/files/patch-m4_ax__m4ri__flags.m4 b/math/brial/files/patch-m4_ax__m4ri__flags.m4 deleted file mode 100644 index e76d078b46f8..000000000000 --- a/math/brial/files/patch-m4_ax__m4ri__flags.m4 +++ /dev/null @@ -1,11 +0,0 @@ ---- m4/ax_m4ri_flags.m4.orig 2025-01-26 12:15:52 UTC -+++ m4/ax_m4ri_flags.m4 -@@ -34,7 +34,7 @@ AC_DEFUN([AX_M4RI_CFLAGS], - [[ - FILE *f; - f = fopen("conftest_m4ri_cflags", "w"); if (!f) return 1; -- fprintf(f,"%s %s",__M4RI_SIMD_CFLAGS, __M4RI_OPENMP_CFLAGS); -+ fprintf(f,"%s",__M4RI_OPENMP_CFLAGS); - fclose(f); - return 0; - ]])], diff --git a/math/brial/pkg-plist b/math/brial/pkg-plist index ebe937f1ab4f..580100cb02f8 100644 --- a/math/brial/pkg-plist +++ b/math/brial/pkg-plist @@ -1,196 +1,197 @@ include/polybori.h include/polybori/BlockDegLexOrder.h include/polybori/BlockDegRevLexAscOrder.h include/polybori/BooleConstant.h include/polybori/BooleEnv.h include/polybori/BooleExponent.h include/polybori/BooleMonomial.h include/polybori/BoolePolyRing.h include/polybori/BoolePolynomial.h include/polybori/BooleSet.h include/polybori/BooleSetSequence.h include/polybori/BooleVariable.h include/polybori/DegLexOrder.h include/polybori/DegRevLexAscOrder.h include/polybori/LexOrder.h include/polybori/cache/CCacheManagement.h include/polybori/cache/CDegreeCache.h include/polybori/cache/CacheManager.h include/polybori/common/CCheckedIdx.h include/polybori/common/CExtrusivePtr.h include/polybori/common/CWeakPtr.h include/polybori/common/CWeakPtrFacade.h include/polybori/common/TransformedSequence.h include/polybori/common/tags.h include/polybori/common/traits.h include/polybori/config.h include/polybori/cudd/cudd.h include/polybori/cudd/cuddInt.h include/polybori/cudd/prefix.h include/polybori/cudd/prefix_internal.h include/polybori/diagram/CApplyNodeFacade.h include/polybori/diagram/CCuddDDFacade.h include/polybori/diagram/CDDOperations.h include/polybori/diagram/CNodeCounter.h include/polybori/except/CErrorInfo.h include/polybori/except/PBoRiError.h include/polybori/except/PBoRiGenericError.h include/polybori/factories/CFactoryBase.h include/polybori/factories/MonomialFactory.h include/polybori/factories/PolynomialFactory.h include/polybori/factories/SetFactory.h include/polybori/factories/VariableBlock.h include/polybori/factories/VariableFactory.h include/polybori/groebner/BitMask.h include/polybori/groebner/BlockOrderHelper.h include/polybori/groebner/BoundedDivisorsOf.h include/polybori/groebner/ChainCriterion.h include/polybori/groebner/ChainVariableCriterion.h include/polybori/groebner/CheckChainCriterion.h include/polybori/groebner/CountCriterion.h include/polybori/groebner/DegOrderHelper.h include/polybori/groebner/ExpGreater.h include/polybori/groebner/ExpLexLess.h include/polybori/groebner/FGLMStrategy.h include/polybori/groebner/GetNthPoly.h include/polybori/groebner/GroebnerOptions.h include/polybori/groebner/GroebnerStrategy.h include/polybori/groebner/HasTRepOrExtendedProductCriterion.h include/polybori/groebner/IJPairData.h include/polybori/groebner/IsEcart0Predicate.h include/polybori/groebner/IsVariableOfIndex.h include/polybori/groebner/LLReduction.h include/polybori/groebner/LLReductor.h include/polybori/groebner/LMLessCompare.h include/polybori/groebner/LMLessComparePS.h include/polybori/groebner/LargerDegreeComparer.h include/polybori/groebner/LeadingTerms.h include/polybori/groebner/LeadingTerms00.h include/polybori/groebner/LeadingTerms11.h include/polybori/groebner/LessCombinedManySizesInStrat.h include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h include/polybori/groebner/LessWeightedLengthInStrat.h include/polybori/groebner/LessWeightedLengthInStratModified.h include/polybori/groebner/LexBucket.h include/polybori/groebner/LexHelper.h include/polybori/groebner/LexOrderGreaterComparer.h include/polybori/groebner/LiteralFactorization.h include/polybori/groebner/LiteralFactorizationIterator.h include/polybori/groebner/Long64From32BitsPair.h include/polybori/groebner/MatrixMonomialOrderTables.h include/polybori/groebner/MinimalLeadingTerms.h include/polybori/groebner/MonomialHasher.h include/polybori/groebner/MonomialPlusOneTerms.h include/polybori/groebner/MonomialTerms.h include/polybori/groebner/NBitsUsed.h include/polybori/groebner/NextSpoly.h include/polybori/groebner/PSCompareByEl.h include/polybori/groebner/PairData.h include/polybori/groebner/PairE.h include/polybori/groebner/PairECompare.h include/polybori/groebner/PairLS.h include/polybori/groebner/PairLSCompare.h include/polybori/groebner/PairManager.h include/polybori/groebner/PairManagerFacade.h include/polybori/groebner/PairStatusSet.h include/polybori/groebner/PolyEntry.h include/polybori/groebner/PolyEntryBase.h include/polybori/groebner/PolyEntryIndices.h include/polybori/groebner/PolyEntryPtrLmLess.h include/polybori/groebner/PolyEntryReference.h include/polybori/groebner/PolyEntryVector.h include/polybori/groebner/PolyFromPolyEntry.h include/polybori/groebner/PolyMonomialPairComparerLess.h include/polybori/groebner/PolyMonomialPairComparerLexLess.h include/polybori/groebner/PolyPairData.h include/polybori/groebner/PolynomialSugar.h include/polybori/groebner/PseudoLongLong.h include/polybori/groebner/PseudoLongProduct.h include/polybori/groebner/RankingVector.h include/polybori/groebner/RedTailNth.h include/polybori/groebner/ReductionOptions.h include/polybori/groebner/ReductionStrategy.h include/polybori/groebner/ReductionTerms.h include/polybori/groebner/RelatedTerms.h include/polybori/groebner/RelatedTermsBase.h include/polybori/groebner/SetAssociatedMinimal.h include/polybori/groebner/SetBitUInt.h include/polybori/groebner/ShorterEliminationLength.h include/polybori/groebner/ShorterEliminationLengthModified.h include/polybori/groebner/SlimgbReduction.h include/polybori/groebner/TermsFacade.h include/polybori/groebner/TimesConstantImplication.h include/polybori/groebner/TimesVariableSubstitution.h include/polybori/groebner/VariablePairData.h include/polybori/groebner/ZeroFunction.h include/polybori/groebner/add_up.h include/polybori/groebner/cache_manager.h include/polybori/groebner/contained_variables.h include/polybori/groebner/dlex4data.h include/polybori/groebner/dp_asc4data.h include/polybori/groebner/draw_matrix.h include/polybori/groebner/fixed_path_divisors.h include/polybori/groebner/groebner.h include/polybori/groebner/groebner_alg.h include/polybori/groebner/groebner_defs.h include/polybori/groebner/interpolate.h include/polybori/groebner/linear_algebra_step.h include/polybori/groebner/ll_red_nf.h include/polybori/groebner/lp4data.h include/polybori/groebner/minimal_elements.h include/polybori/groebner/nf.h include/polybori/groebner/pairs.h include/polybori/groebner/polynomial_properties.h include/polybori/groebner/randomset.h include/polybori/groebner/red_tail.h include/polybori/groebner/tables.h include/polybori/iterators/CBidirectTermIter.h include/polybori/iterators/CCuddFirstIter.h include/polybori/iterators/CCuddLastIter.h include/polybori/iterators/CCuddNavigator.h include/polybori/iterators/CExpIter.h include/polybori/iterators/CGenericIter.h include/polybori/iterators/COrderedIter.h include/polybori/iterators/CStackSelector.h include/polybori/iterators/CTermGenerator.h include/polybori/iterators/CTermIter.h include/polybori/iterators/CTermStack.h include/polybori/iterators/CVariableIter.h include/polybori/iterators/PBoRiOutIter.h include/polybori/iterators/TransformedIterator.h include/polybori/literals/CLiteralCodes.h include/polybori/literals/CStringLiteral.h include/polybori/orderings/CBlockOrderingFacade.h include/polybori/orderings/COrderingBase.h include/polybori/orderings/COrderingFacade.h include/polybori/orderings/COrderingTags.h include/polybori/orderings/order_tags.h include/polybori/orderings/order_traits.h include/polybori/orderings/pbori_order.h include/polybori/pbori_defs.h include/polybori/polybori.h include/polybori/ring/CCallbackWrapper.h include/polybori/ring/CCuddCore.h include/polybori/ring/CCuddInterface.h include/polybori/ring/CMemberFunctionTraits.h include/polybori/ring/CVariableNames.h include/polybori/ring/WeakRingPtr.h include/polybori/routines/pbori_algo.h include/polybori/routines/pbori_algo_int.h include/polybori/routines/pbori_algorithms.h include/polybori/routines/pbori_func.h include/polybori/routines/pbori_routines.h include/polybori/routines/pbori_routines_cuddext.h include/polybori/routines/pbori_routines_dd.h include/polybori/routines/pbori_routines_hash.h include/polybori/routines/pbori_routines_misc.h include/polybori/routines/pbori_routines_order.h lib/libbrial.a lib/libbrial.so lib/libbrial.so.3 lib/libbrial.so.3.0.7 lib/libbrial_groebner.a lib/libbrial_groebner.so lib/libbrial_groebner.so.3 lib/libbrial_groebner.so.3.0.7 +libdata/pkgconfig/brial.pc