#  Copyright (c) 1997-2021
#  Ewgenij Gawrilow, Michael Joswig, and the polymake team
#  Technische Universität Berlin, Germany
#  https://polymake.org
#
#  This program is free software; you can redistribute it and/or modify it
#  under the terms of the GNU General Public License as published by the
#  Free Software Foundation; either version 2, or (at your option) any
#  later version: http://www.gnu.org/licenses/gpl.txt.
#
#  This program is distributed in the hope that it will be useful,
#  but WITHOUT ANY WARRANTY; without even the implied warranty of
#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
#  GNU General Public License for more details.
#-------------------------------------------------------------------------------

# This rulefile is automatically included by run_testcases script.

INCLUDE
  test_filters
  db_test.rules

sub get_detected_version {
   state %ConfigFlags;
   my ($name)=@_;
   unless (keys %ConfigFlags) {
      $DeveloperMode or do "$InstallTop/support/install_utils.pl";
      %ConfigFlags = load_config_file("$InstallArch/config.ninja", $InstallTop);
   }
   if (defined (my $version= $ConfigFlags{"$name.version"} // $ConfigFlags{"${name}version"})) {
      eval "v$version"
   } else {
      undef
   }
}

if (get_detected_version("MPFR") ge v4.0) {
   # MPFR 4.0 changed implementation of random number generator, mpfr_urandom
   # Test results dependent on random AccurateFloat numbers must be provided in two flavors
   Test::add_alternative_suffix("mpfr4");
}

sub load_mock_extension {
   my ($dir) = @_;
   $dir = Cwd::abs_path($dir);
   my $ext = new Core::Extension($dir);
   local with($_[1]) {
      local push @Core::Extension::active, $ext;
      local $Core::Extension::registered_by_dir{$dir} = $ext;
      local $Core::Extension::registered_by_URI{$ext->URI} = $ext;
   }
   $ext
}


# Local Variables:
# mode: perl
# cperl-indent-level:3
# indent-tabs-mode:nil
# End:

