git: 7aa9a2125771 - main - math/polymake: update to 4.5
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 17 Dec 2021 06:00:04 UTC
The branch main has been updated by tagattie:
URL: https://cgit.FreeBSD.org/ports/commit/?id=7aa9a21257716a98264b77e7f69f9cb33d8f6b58
commit 7aa9a21257716a98264b77e7f69f9cb33d8f6b58
Author: Philipp Ost <bsd@philippost.de>
AuthorDate: 2021-12-17 05:57:44 +0000
Commit: Hiroki Tagato <tagattie@FreeBSD.org>
CommitDate: 2021-12-17 05:59:43 +0000
math/polymake: update to 4.5
Port changes:
- update DISTVERSION (obviously ;-))
- remove compiler:openmp after commit 07fb2d5e9d001934f1670d01aec1f536f14ebde2
- remove patches patch-libnauty and patch-support_install.pl since
they have been incorporated upstream
Upstream changes: https://polymake.org/doku.php/news/release_4_5
PR: 260395
Reported by: Philipp Ost <bsd@philippost.de> (maintainer)
---
math/polymake/Makefile | 3 +-
math/polymake/distinfo | 6 +-
math/polymake/files/patch-libnauty | 208 ---------------------------
math/polymake/files/patch-support_install.pl | 11 --
math/polymake/pkg-plist | 34 ++++-
5 files changed, 31 insertions(+), 231 deletions(-)
diff --git a/math/polymake/Makefile b/math/polymake/Makefile
index 4fe296db40e9..53532cc59619 100644
--- a/math/polymake/Makefile
+++ b/math/polymake/Makefile
@@ -1,8 +1,7 @@
# Created by: Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
PORTNAME= polymake
-DISTVERSION= 4.4
-PORTREVISION= 3
+DISTVERSION= 4.5
CATEGORIES= math
MASTER_SITES= https://polymake.org/lib/exe/fetch.php/download/
DISTNAME= ${PORTNAME}-${DISTVERSION}-minimal
diff --git a/math/polymake/distinfo b/math/polymake/distinfo
index 1148014eeb28..5ba94b51eda0 100644
--- a/math/polymake/distinfo
+++ b/math/polymake/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1622150271
-SHA256 (polymake-4.4-minimal.tar.bz2) = da7179176c739c8efba65d93b25af103c1cba70e1f9b35673ce33c37790ec091
-SIZE (polymake-4.4-minimal.tar.bz2) = 5620609
+TIMESTAMP = 1633023218
+SHA256 (polymake-4.5-minimal.tar.bz2) = e943d4bb31c112fad852340e3595bc591c2070692a16d50183a3b104566d7996
+SIZE (polymake-4.5-minimal.tar.bz2) = 5634046
diff --git a/math/polymake/files/patch-libnauty b/math/polymake/files/patch-libnauty
deleted file mode 100644
index 5fdcada7fc95..000000000000
--- a/math/polymake/files/patch-libnauty
+++ /dev/null
@@ -1,208 +0,0 @@
-- patch from the upstream allowing to link to libnauty.so: https://github.com/polymake/polymake/issues/10#issuecomment-906184045
-- updated to fix a testsuite regression: https://forum.polymake.org/viewtopic.php?f=10&p=3838#p3838
-
-commit 3d5f15812247c37e1821d30a24e69acc308bc54b
-Author: Benjamin Lorenz <lorenz@math.tu-berlin.de>
-Date: Tue Aug 24 21:20:40 2021 +0200
-
- bundled/nauty: add support for libnauty installation to configuration
-
- in addition to bundled and source-dir
-
- without any options this will try to run a test-program and fall back
- to the bundled nauty if that fails.
-
---- bundled/nauty/apps/graph/src/GraphIso.cc.orig 2021-05-18 08:50:05 UTC
-+++ bundled/nauty/apps/graph/src/GraphIso.cc
-@@ -29,8 +29,8 @@
- #define set nauty_set
- #define permutation nauty_permutation
-
--#include <nauty.h>
--#include <naututil.h>
-+#include <nauty/nauty.h>
-+#include <nauty/naututil.h>
- #include <memory>
-
- namespace {
---- bundled/nauty/apps/graph/src/build_flags.pl.orig 2021-05-18 08:50:05 UTC
-+++ bundled/nauty/apps/graph/src/build_flags.pl
-@@ -1,6 +1,6 @@
- # input for generate_ninja_targets.pl
-
--my $foreign_src = $ConfigFlags{'bundled.nauty.NautySrc'};
-+my $foreign_src = $ConfigFlags{'bundled.nauty.NautySrc'} ne "bundled" && $ConfigFlags{'bundled.nauty.NautySrc'};
- my $nauty_src = $foreign_src ? '${bundled.nauty.NautySrc}' : '${root}/bundled/nauty/external/nauty';
- my $generated_dir = '${buildroot}/staticlib/nauty';
- my @generated_headers = qw( nauty.h naututil.h gtools.h );
-@@ -9,17 +9,21 @@ my @generated_out = map { "$generated_dir/$_" } @gener
- my $include_generated = ($foreign_src && grep { -f "$foreign_src/$_" } @generated_headers)
- ? join(" ", map { "-include $_" } @generated_out)
- : "-I$generated_dir";
-+my $nauty_inc = $ConfigFlags{'bundled.nauty.NautySrc'}
-+ ? " -I$generated_dir -I$nauty_src"
-+ : "";
-
--( CXXFLAGS => "-DBIGNAUTY -I$generated_dir -I$nauty_src",
-+( 'GraphIso.cc' => $nauty_inc,
-
-- GENERATED => {
-- out => "@generated_out", in => "@generated_in",
-- command => "cd $generated_dir; CC=\"\${CC}\" CFLAGS=\"\${CFLAGS}\" $nauty_src/configure --quiet >/dev/null 2>/dev/null; rm -f makefile",
-- },
--
-- staticlib => {
-- SOURCEDIR => $nauty_src,
-- SOURCES => [ qw(naugraph.c naurng.c nausparse.c nautaux.c nautil.c nautinv.c naututil.c nauty.c rng.c schreier.c) ],
-- CFLAGS => "-DBIGNAUTY $include_generated -I$nauty_src",
-- }
-+ $ConfigFlags{'bundled.nauty.NautySrc'}
-+ ? ( GENERATED => {
-+ out => "@generated_out", in => "@generated_in",
-+ command => "cd $generated_dir; CC=\"\${CC}\" CFLAGS=\"\${CFLAGS}\" $nauty_src/configure --quiet >/dev/null 2>/dev/null; rm -rf makefile nauty; ln -s . nauty",
-+ },
-+ staticlib => {
-+ SOURCEDIR => $nauty_src,
-+ SOURCES => [ qw(naugraph.c naurng.c nausparse.c nautaux.c nautil.c nautinv.c naututil.c nauty.c rng.c schreier.c) ],
-+ CFLAGS => "$include_generated -I$nauty_src",
-+ } )
-+ : ()
- )
---- bundled/nauty/support/configure.pl.orig 2021-05-18 08:50:05 UTC
-+++ bundled/nauty/support/configure.pl
-@@ -14,19 +14,19 @@
- # GNU General Public License for more details.
- #-------------------------------------------------------------------------------
-
--@conf_vars=qw( NautySrc );
-+@conf_vars=qw( NautySrc CXXFLAGS LDFLAGS LIBS );
-
- sub allowed_options {
- my ($allowed_options, $allowed_with)=@_;
-- @$allowed_with{ qw( nauty-src ) }=();
-+ @$allowed_with{ qw( nauty-src nauty ) }=();
- }
-
-
- sub usage {
-- print STDERR " --with-nauty-src=PATH Source directory of nauty.\n",
-- " By default polymake will use the bundled nauty source files,\n",
-- " for the minimal tarball this option allows using a custom\n",
-- " directory containing the nauty sources.\n";
-+ print STDERR " By default polymake will use the bundled nauty source files,\n",
-+ " these options allow using a custom nauty source or installation:\n",
-+ " --with-nauty-src=PATH Source directory of nauty.\n",
-+ " --with-nauty=PATH Installation prefix of nauty.\n";
- }
-
- sub check_nauty {
-@@ -36,17 +36,101 @@ sub check_nauty {
-
- sub proceed {
- my ($options)=@_;
-- my $nautysrc;
-- if (defined ($nautysrc=$options->{"nauty-src"})) {
-- check_nauty($nautysrc) or
-- die "Specified nauty source directory invalid, could not find 'nauty-h.in'.";
-- $NautySrc = $nautysrc;
-- } elsif (!check_nauty()) {
-+ my $nauty_path;
-+ my $nauty_src;
-+ my $nautyver;
-+ $NautySrc = "bundled";
-+ if (defined ($nauty_path=$options->{nauty}) && $nauty_path ne "bundled") {
-+ my $nauty_inc="$nauty_path/include";
-+ my $nauty_lib=Polymake::Configure::get_libdir($nauty_path, "nauty");
-+ unless (-f "$nauty_inc/nauty/nauty.h"
-+ && ( -f "$nauty_lib/libnauty.$Config::Config{dlext}"
-+ || -f "$nauty_lib/libnauty.a" ) ) {
-+ die "Invalid installation location of nauty library: header file nauty/nauty.h and/or library libnauty.$Config::Config{dlext} / libnauty.a not found\n";
-+ }
-+ $LDFLAGS.=" -Wl,-rpath,$nauty_lib"
-+ if $nauty_path !~ m|^/usr$| && -f "$nauty_lib/libnauty.$Config::Config{dlext}";
-+ $CXXFLAGS = "-I$nauty_inc";
-+ $LDFLAGS = "-L$nauty_lib";
-+ undef $NautySrc;
-+ } elsif (defined ($nauty_src=$options->{"nauty-src"}) && $nauty_src ne "bundled") {
-+ check_nauty($nauty_src) or
-+ die "Specified nauty source directory invalid, could not find 'nauty-h.in' in $nauty_src.";
-+ $NautySrc = "$nauty_src";
-+ }
-+
-+ if (!$nauty_src && $nauty_path ne "bundled" && $options->{prereq} ne ".none.") {
-+ # compile test-program, soft-fail
-+ my $testcode = <<'---';
-+// simplified example from nautyex1.c from the nauty source
-+
-+#define MAXN 1000 /* Define this before including nauty.h */
-+#include <nauty/nauty.h>
-+#include <iostream>
-+
-+int
-+main(int argc, char *argv[])
-+{
-+ graph g[MAXN*MAXM];
-+ int lab[MAXN],ptn[MAXN],orbits[MAXN];
-+ static DEFAULTOPTIONS_GRAPH(options);
-+ statsblk stats;
-+ int n = 5;
-+ int m = 1;
-+ int v;
-+
-+ options.writeautoms = FALSE;
-+
-+ /* The following optional call verifies that we are linking
-+ to compatible versions of the nauty routines. */
-+
-+ nauty_check(WORDSIZE,m,n,NAUTYVERSIONID);
-+ EMPTYGRAPH(g,m,n);
-+ for (v = 0; v < n; ++v) ADDONEEDGE(g,v,(v+1)%n,m);
-+
-+ densenauty(g,lab,ptn,orbits,&options,&stats,m,n,NULL);
-+ std::cout << "VERSION " << NAUTYVERSIONID << std::endl;
-+
-+ exit(0);
-+}
-+---
-+ my $error=Polymake::Configure::build_test_program($testcode, LIBS => "-lnauty", CXXFLAGS => "$CXXFLAGS", LDFLAGS => "$LDFLAGS");
-+
-+ if ($? == 0) {
-+ my $message=Polymake::Configure::run_test_program();
-+ if ($?) {
-+ check_nauty() and !defined($nauty_path) or
-+ die "Could not run a test program checking for nauty library.\n",
-+ "The complete error log follows:\n\n$message\n",
-+ "Please investigate the reasons and fix the installation.\n";
-+ } else {
-+ ($nautyver) = $message =~ /VERSION (\d+)/;
-+ my $nautymin = 25000; # version*10000
-+ if ($nautyver < $nautymin) {
-+ check_nauty() and !defined($nauty_path) or
-+ die "Your nauty version $nautyver is too old, at least version $nautymin is required.\n";
-+ } else {
-+ undef $NautySrc;
-+ }
-+ }
-+ } else {
-+ check_nauty() and !defined($nauty_path) or
-+ die "Could not compile a test program checking for nauty.\n",
-+ "The most probable reasons are that the library is installed at a non-standard location,\n",
-+ "is not configured to build a shared module, or missing at all.\n",
-+ "The complete error log follows:\n\n$error\n",
-+ "Please install the library and specify its location using --with-nauty option, if needed.\n";
-+ }
-+ }
-+
-+ if ($NautySrc eq "bundled" && !check_nauty()) {
- die "Bundled nauty directory seems to be missing, to use the nauty interface\n",
- "with the minimal tarball please specify a nauty source directory\n",
-- "via --with-nauty-src=PATH.";
-+ "via --with-nauty-src=PATH, or a nauty installation with --with-nauty=PATH.";
-+ } elsif (!defined($NautySrc)) {
-+ $LIBS = "-lnauty";
- }
-
-- return $NautySrc ? "$NautySrc" : "bundled";
-+ return $NautySrc ? "source: $NautySrc" : ("version $nautyver @ ".($nauty_path//"system"));
- }
-
diff --git a/math/polymake/files/patch-support_install.pl b/math/polymake/files/patch-support_install.pl
deleted file mode 100644
index 87b3cd70b0e3..000000000000
--- a/math/polymake/files/patch-support_install.pl
+++ /dev/null
@@ -1,11 +0,0 @@
---- support/install.pl.orig 2021-05-18 08:50:05 UTC
-+++ support/install.pl
-@@ -316,7 +316,7 @@ sub rel_symlink {
- my $rel_link = $link;
- my $common_prefix = 1;
- while ($rel_link =~ s{^(/[^/]+)(?=/)}{}) {
-- if ($common_prefix && substr($target, 0, length($1)) eq $1) {
-+ if ($common_prefix && substr($target, 0, length($1)+1) eq "$1/") {
- $target = substr($target, length($1));
- } else {
- $common_prefix = 0;
diff --git a/math/polymake/pkg-plist b/math/polymake/pkg-plist
index b4882de8b653..1e65a6fdf264 100644
--- a/math/polymake/pkg-plist
+++ b/math/polymake/pkg-plist
@@ -61,6 +61,7 @@ include/polymake/common/TOmath_decl.h
include/polymake/common/bounding_box.h
include/polymake/common/factorization.h
include/polymake/common/find_matrix_row_permutation.h
+include/polymake/common/finiteFieldLA.h
include/polymake/common/hadamard_product.h
include/polymake/common/incidence_tools.h
include/polymake/common/labels.h
@@ -79,6 +80,7 @@ include/polymake/fan/intersection.h
include/polymake/fan/next/compactification.h
include/polymake/fan/reverse_search_chamber_decomposition.h
include/polymake/fan/stacky_fan.h
+include/polymake/fan/stacky_fundamental_domain.h
include/polymake/fan/tight_span.h
include/polymake/graph/BasicLatticeTypes.h
include/polymake/graph/Closure.h
@@ -101,6 +103,7 @@ include/polymake/graph/bipartite.h
include/polymake/graph/bipartite.tcc
include/polymake/graph/compare.h
include/polymake/graph/connected.h
+include/polymake/graph/conway_impl.h
include/polymake/graph/diameter.h
include/polymake/graph/graph_iterators.h
include/polymake/graph/hungarian_method.h
@@ -113,6 +116,7 @@ include/polymake/graph/max_cliques.h
include/polymake/graph/max_cliques.tcc
include/polymake/graph/maximal_chains.h
include/polymake/graph/next/Decoration.h
+include/polymake/graph/next/DoublyConnectedEdgeList.h
include/polymake/graph/poset_tools.h
include/polymake/graph/strong_connected.h
include/polymake/group/action.h
@@ -328,6 +332,7 @@ include/polymake/tropical/cartesian_product.h
include/polymake/tropical/codim_one_with_locality.h
include/polymake/tropical/convex_hull_tools.h
include/polymake/tropical/covectors.h
+include/polymake/tropical/curve.h
include/polymake/tropical/cyclic_chains.h
include/polymake/tropical/divisor.h
include/polymake/tropical/double_description.h
@@ -350,6 +355,7 @@ include/polymake/tropical/morphism_values.h
include/polymake/tropical/next/covectors.h
include/polymake/tropical/patchwork.h
include/polymake/tropical/polynomial_tools.h
+include/polymake/tropical/polynomial_vanishing.h
include/polymake/tropical/pruefer.h
include/polymake/tropical/psi_classes.h
include/polymake/tropical/pullback.h
@@ -364,13 +370,13 @@ include/polymake/type_utils.h
include/polymake/vector
lib/libpolymake-apps-rt.so
lib/libpolymake-apps-rt.so.4
-lib/libpolymake-apps-rt.so.4.4
+lib/libpolymake-apps-rt.so.4.5
lib/libpolymake-apps.so
lib/libpolymake-apps.so.4
-lib/libpolymake-apps.so.4.4
+lib/libpolymake-apps.so.4.5
lib/libpolymake.so
lib/libpolymake.so.4
-lib/libpolymake.so.4.4
+lib/libpolymake.so.4.5
libexec/polymake/config.ninja
libexec/polymake/lib/common.so
libexec/polymake/lib/fan.so
@@ -380,10 +386,10 @@ libexec/polymake/lib/group.so
libexec/polymake/lib/ideal.so
libexec/polymake/lib/libpolymake-apps-rt.so
libexec/polymake/lib/libpolymake-apps-rt.so.4
-libexec/polymake/lib/libpolymake-apps-rt.so.4.4
+libexec/polymake/lib/libpolymake-apps-rt.so.4.5
libexec/polymake/lib/libpolymake-apps.so
libexec/polymake/lib/libpolymake-apps.so.4
-libexec/polymake/lib/libpolymake-apps.so.4.4
+libexec/polymake/lib/libpolymake-apps.so.4.5
libexec/polymake/lib/matroid.so
libexec/polymake/lib/polytope.so
libexec/polymake/lib/topaz.so
@@ -515,7 +521,6 @@ libexec/polymake/shared
%%DATADIR%%/apps/fan/src/remove_redundancies.cc
%%DATADIR%%/apps/fan/src/reverse_search_chamber_decomposition.cc
%%DATADIR%%/apps/fan/src/secondary_fan.cc
-%%DATADIR%%/apps/fan/src/stacky_fan.cc
%%DATADIR%%/apps/fan/src/stacky_fundamental_domain.cc
%%DATADIR%%/apps/fan/src/tight_span.cc
%%DATADIR%%/apps/fan/src/tiling_quotient.cc
@@ -541,6 +546,7 @@ libexec/polymake/shared
%%DATADIR%%/apps/graph/perllib/Visual/Lattice.pm
%%DATADIR%%/apps/graph/rules/common.rules
%%DATADIR%%/apps/graph/rules/compare.rules
+%%DATADIR%%/apps/graph/rules/doubly_connected_edge_list.rules
%%DATADIR%%/apps/graph/rules/geometric_graph.rules
%%DATADIR%%/apps/graph/rules/graph_properties.rules
%%DATADIR%%/apps/graph/rules/graphviz.rules
@@ -598,7 +604,6 @@ libexec/polymake/shared
%%DATADIR%%/apps/group/rules/help.rules
%%DATADIR%%/apps/group/rules/main.rules
%%DATADIR%%/apps/group/rules/permlib.rules
-%%DATADIR%%/apps/group/rules/polytope_group.rules
%%DATADIR%%/apps/group/rules/switch_table.rules
%%DATADIR%%/apps/group/src/col_to_row_action.cc
%%DATADIR%%/apps/group/src/conjugacy_classes.cc
@@ -781,6 +786,7 @@ libexec/polymake/shared
%%DATADIR%%/apps/polytope/src/centroid_volume.cc
%%DATADIR%%/apps/polytope/src/check_inc.cc
%%DATADIR%%/apps/polytope/src/check_poly.cc
+%%DATADIR%%/apps/polytope/src/chirotope.cc
%%DATADIR%%/apps/polytope/src/circuit_completions.cc
%%DATADIR%%/apps/polytope/src/cocircuit_equations.cc
%%DATADIR%%/apps/polytope/src/common_refinement.cc
@@ -788,6 +794,7 @@ libexec/polymake/shared
%%DATADIR%%/apps/polytope/src/congruent_polytopes.cc
%%DATADIR%%/apps/polytope/src/contains.cc
%%DATADIR%%/apps/polytope/src/conv.cc
+%%DATADIR%%/apps/polytope/src/conway.cc
%%DATADIR%%/apps/polytope/src/core_point_algo.cc
%%DATADIR%%/apps/polytope/src/cross.cc
%%DATADIR%%/apps/polytope/src/crosscut_complex.cc
@@ -854,6 +861,7 @@ libexec/polymake/shared
%%DATADIR%%/apps/polytope/src/lattice_normalization.cc
%%DATADIR%%/apps/polytope/src/lattice_pyramid.cc
%%DATADIR%%/apps/polytope/src/lineality_via_lp.cc
+%%DATADIR%%/apps/polytope/src/linear_symmetries_matrix.cc
%%DATADIR%%/apps/polytope/src/long_and_winding.cc
%%DATADIR%%/apps/polytope/src/mapping_polytope.cc
%%DATADIR%%/apps/polytope/src/massive_gkz.cc
@@ -864,6 +872,7 @@ libexec/polymake/shared
%%DATADIR%%/apps/polytope/src/minkowski_sum.cc
%%DATADIR%%/apps/polytope/src/mixed_integer_hull.cc
%%DATADIR%%/apps/polytope/src/mixed_volume.cc
+%%DATADIR%%/apps/polytope/src/mps2poly.cc
%%DATADIR%%/apps/polytope/src/multiplex.cc
%%DATADIR%%/apps/polytope/src/n_fine_triangulations.cc
%%DATADIR%%/apps/polytope/src/n_gon.cc
@@ -882,6 +891,7 @@ libexec/polymake/shared
%%DATADIR%%/apps/polytope/src/polarize.cc
%%DATADIR%%/apps/polytope/src/poly2lp.cc
%%DATADIR%%/apps/polytope/src/poly2metric.cc
+%%DATADIR%%/apps/polytope/src/poly2mps.cc
%%DATADIR%%/apps/polytope/src/polynomial_conversion.cc
%%DATADIR%%/apps/polytope/src/print_constraints.cc
%%DATADIR%%/apps/polytope/src/prism.cc
@@ -1059,6 +1069,7 @@ libexec/polymake/shared
%%DATADIR%%/apps/tropical/rules/cone.rules
%%DATADIR%%/apps/tropical/rules/cone_properties.rules
%%DATADIR%%/apps/tropical/rules/covector_lattice.rules
+%%DATADIR%%/apps/tropical/rules/curve.rules
%%DATADIR%%/apps/tropical/rules/cycle.rules
%%DATADIR%%/apps/tropical/rules/gfan.rules
%%DATADIR%%/apps/tropical/rules/help.rules
@@ -1079,6 +1090,7 @@ libexec/polymake/shared
%%DATADIR%%/apps/tropical/src/compute_maximal_covectors.cc
%%DATADIR%%/apps/tropical/src/covector_decomposition.cc
%%DATADIR%%/apps/tropical/src/covectors.cc
+%%DATADIR%%/apps/tropical/src/curve.cc
%%DATADIR%%/apps/tropical/src/cycle_edge_lengths.cc
%%DATADIR%%/apps/tropical/src/cyclic.cc
%%DATADIR%%/apps/tropical/src/discard_non_vertices.cc
@@ -1099,9 +1111,12 @@ libexec/polymake/shared
%%DATADIR%%/apps/tropical/src/map_perm.cc
%%DATADIR%%/apps/tropical/src/matroid_polytope.cc
%%DATADIR%%/apps/tropical/src/minkowski_sum.cc
+%%DATADIR%%/apps/tropical/src/moduli_cell_of_curve.cc
+%%DATADIR%%/apps/tropical/src/moduli_space_of_curve.cc
%%DATADIR%%/apps/tropical/src/nearest_point.cc
%%DATADIR%%/apps/tropical/src/patchwork.cc
%%DATADIR%%/apps/tropical/src/points2hypersurface.cc
+%%DATADIR%%/apps/tropical/src/polynomial_vanishing.cc
%%DATADIR%%/apps/tropical/src/thomog.cc
%%DATADIR%%/apps/tropical/src/tpluecker.cc
%%DATADIR%%/apps/tropical/src/tropicalNorm.cc
@@ -1198,6 +1213,8 @@ libexec/polymake/shared
%%DATADIR%%/bundled/flint/apps/common/src/QuadraticExtension.cc
%%DATADIR%%/bundled/flint/apps/common/src/factorization.cc
%%DATADIR%%/bundled/flint/apps/common/src/sum_of_square_roots_naive.cc
+%%DATADIR%%/bundled/flint/apps/matroid/rules/main.rules
+%%DATADIR%%/bundled/flint/apps/matroid/src/bases_from_points_flint.cc
%%DATADIR%%/bundled/flint/apps/polytope/src/maximal_ball.cc
%%DATADIR%%/bundled/flint/apps/topaz/rules/main.rules
%%DATADIR%%/bundled/flint/apps/topaz/src/homology_flint.cc
@@ -1273,6 +1290,7 @@ libexec/polymake/shared
%%DATADIR%%/demo/files/json_and_polydb/polydb_meta/Polytopes/01Polytopes/schema.2.1.json
%%DATADIR%%/demo/files/json_and_polydb/polydb_meta/Polytopes/Polytopes.2.1.json
%%DATADIR%%/demo/files/optimization/c3t.lp
+ %%DATADIR%%/demo/files/optimization/c3t.mps
%%DATADIR%%/demo/files/optimization/lpclosure.pl
%%DATADIR%%/demo/files/optimization/mip.lp
%%DATADIR%%/demo/files/optimization/stab.lp
@@ -1473,6 +1491,7 @@ libexec/polymake/shared
%%DATADIR%%/upgrades/4.2
%%DATADIR%%/upgrades/4.3
%%DATADIR%%/upgrades/4.4
+%%DATADIR%%/upgrades/4.5
%%DATADIR%%/upgrades/big_objects-2.10.1
%%DATADIR%%/upgrades/big_objects-2.11.1
%%DATADIR%%/upgrades/big_objects-2.12.1
@@ -1488,6 +1507,7 @@ libexec/polymake/shared
%%DATADIR%%/upgrades/big_objects-4.2.1
%%DATADIR%%/upgrades/big_objects-4.3.1
%%DATADIR%%/upgrades/big_objects-4.3.3
+%%DATADIR%%/upgrades/big_objects-4.4.1
@dir libexec/polymake/bundled/atint
%%BLISS%%@dir libexec/polymake/bundled/bliss
@dir libexec/polymake/bundled/cdd