feat(pkgs): add mathic, mathicgb and memtailor

- Add package definitions for mathicgb and its dependencies

Author: polykernel

flake.lock

@@ -22,6 +22,7 @@ let
       ];
       packageSets = {
         nixpkgs = pkgs;
+        polypkgs = packages;
       };
       specialArgs = {
         packagesRoot = packagesDir;
@@ -31,6 +32,9 @@ let
   packages = {
     canon-cups-ufr2 = evalPackage { packagePath = "canon-cups-ufr2"; };
     podlet = evalPackage { packagePath = "podlet"; };
+    mathic = evalPackage { packagePath = "mathic"; };
+    mathicgb = evalPackage { packagePath = "mathicgb"; };
+    memtailor = evalPackage { packagePath = "memtailor"; };
     inherit (packages.python-modules) rendercv;
 
     python-modules = lib.recurseIntoAttrs {

packages.nix

@@ -0,0 +1,63 @@
+{
+  lib,
+  config,
+  dream2nix,
+  ...
+}:
+
+{
+  imports = [
+    dream2nix.modules.dream2nix.mkDerivation
+  ];
+
+  config = {
+    deps =
+      { nixpkgs, polypkgs, ... }:
+      {
+        inherit (nixpkgs)
+          fetchFromGitHub
+          autoreconfHook
+          pkg-config
+          ;
+
+        inherit (polypkgs)
+          memtailor
+          ;
+      };
+
+    name = "mathic";
+    version = "0-unstable-2023-09-16";
+
+    mkDerivation = {
+      src = config.deps.fetchFromGitHub {
+        owner = "Macaulay2";
+        repo = "mathic";
+        rev = "07e8df4ded6b586c0ce9eec0f9096690379749cb";
+        sha256 = "sha256-ZbfD+nn+d/htPVP3QprDua+R1oaPIZsmQln9YGImBto=";
+      };
+
+      nativeBuildInputs = with config.deps; [
+        autoreconfHook
+        pkg-config
+      ];
+
+      buildInputs = with config.deps; [ memtailor ];
+    };
+
+    public = {
+      meta = with lib; {
+        description = "C++ library of symbolic algebra data structures for use in Groebner basis computation";
+        longDescription = ''
+          Mathic is a C++ library of fast data structures designed for use in Groebner basis computation. This includes data structures for ordering S-pairs, performing divisor queries and ordering polynomial terms during polynomial reduction.
+        '';
+        homepage = "https://github.com/Macaulay2/mathic";
+        license = licensesSpdx."LGPL-2.0-or-later";
+        maintainers = [ maintainers.polykernel ];
+        platforms = [
+          "x86_64-linux"
+          "aarch64-linux"
+        ];
+      };
+    };
+  };
+}

packages/mathic/default.nix

@@ -0,0 +1,76 @@
+{
+  lib,
+  config,
+  dream2nix,
+  ...
+}:
+
+{
+  imports = [
+    dream2nix.modules.dream2nix.mkDerivation
+  ];
+
+  config = {
+    deps =
+      { nixpkgs, polypkgs, ... }:
+      {
+        inherit (nixpkgs)
+          fetchFromGitHub
+          pkg-config
+          autoreconfHook
+          gtest
+          tbb
+          ;
+
+        inherit (polypkgs)
+          mathic
+          memtailor
+          ;
+      };
+
+    name = "mathicgb";
+    version = "0-unstable-2024-02-05";
+
+    mkDerivation = {
+      src = config.deps.fetchFromGitHub {
+        owner = "Macaulay2";
+        repo = "mathicgb";
+        rev = "4cd2bd1357107cf0c83661fdda66c94987de4608";
+        sha256 = "sha256-eWG4Zq+VynY9eHc8XlNekyFjB0WRl9nv1GudfVDkCyU=";
+      };
+
+      nativeBuildInputs = with config.deps; [
+        gtest
+        autoreconfHook
+        pkg-config
+      ];
+
+      buildInputs = with config.deps; [
+        mathic
+        memtailor
+        tbb
+      ];
+
+      configureFlags = [
+        "--with-gtest=yes"
+        "GTEST_PATH=${config.deps.gtest.src}/googletest"
+      ];
+    };
+
+    public = {
+      meta = with lib; {
+        description = "Compute (signature) Groebner bases using the fast datastructures from mathic";
+        longDescription = ''
+          Mathicgb is a program for computing Groebner basis and signature Grobner bases. Mathicgb is based on the fast data structures from mathic.
+        '';
+        homepage = "https://github.com/Macaulay2/mathicgb";
+        license = licensesSpdx."GPL-2.0-or-later";
+        maintainers = [ maintainers.polykernel ];
+        platforms = [
+          "x86_64-linux"
+          "aarch64-linux"
+        ];
+      };
+    };
+  };
+}

packages/mathicgb/default.nix

@@ -0,0 +1,64 @@
+{
+  lib,
+  config,
+  dream2nix,
+  ...
+}:
+
+{
+  imports = [
+    dream2nix.modules.dream2nix.mkDerivation
+  ];
+
+  config = {
+    deps =
+      { nixpkgs, ... }:
+      {
+        inherit (nixpkgs)
+          fetchFromGitHub
+          pkg-config
+          autoreconfHook
+          gtest
+          ;
+      };
+
+    name = "memtailor";
+    version = "0-unstable-2023-09-16";
+
+    mkDerivation = {
+      src = config.deps.fetchFromGitHub {
+        owner = "Macaulay2";
+        repo = "memtailor";
+        rev = "f785005b92a54463dbd5377ab80855a3d2a5f92d";
+        sha256 = "sha256-fC7I7X97PUmmNG2MCRAw5HB+FoKO6RnMpz8vyRI1Cjk=";
+      };
+
+      nativeBuildInputs = with config.deps; [
+        gtest
+        autoreconfHook
+        pkg-config
+      ];
+
+      configureFlags = [
+        "--with-gtest=yes"
+        "GTEST_PATH=${config.deps.gtest.src}/googletest"
+      ];
+    };
+
+    public = {
+      meta = with lib; {
+        description = "C++ library of special purpose memory allocators";
+        longDescription = ''
+          Memtailor is a C++ library of special purpose memory allocators. It currently offers an arena allocator and a memory pool.
+        '';
+        homepage = "https://github.com/Macaulay2/memtailor";
+        license = licensesSpdx."BSD-3-Clause";
+        maintainers = [ maintainers.polykernel ];
+        platforms = [
+          "x86_64-linux"
+          "aarch64-linux"
+        ];
+      };
+    };
+  };
+}