From 69d4020bbbf061029f80f5956ee5a5064c25d64a Mon Sep 17 00:00:00 2001
From: someplaceguy <someplaceguy@wizy.org>
Date: Mon, 30 Oct 2023 16:05:18 +0000
Subject: polyml: move definition of `src` attribute to standard location

---
 pkgs/development/compilers/polyml/default.nix | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/pkgs/development/compilers/polyml/default.nix b/pkgs/development/compilers/polyml/default.nix
index 951678847076..9cbc72111be1 100644
--- a/pkgs/development/compilers/polyml/default.nix
+++ b/pkgs/development/compilers/polyml/default.nix
@@ -10,6 +10,13 @@ stdenv.mkDerivation rec {
   pname = "polyml";
   version = "5.9.1";
 
+  src = fetchFromGitHub {
+    owner = "polyml";
+    repo = "polyml";
+    rev = "v${version}";
+    sha256 = "sha256-72wm8dt+Id59A5058mVE5P9TkXW5/LZRthZoxUustVA=";
+  };
+
   prePatch = lib.optionalString stdenv.isDarwin ''
     substituteInPlace configure.ac --replace stdc++ c++
   '';
@@ -24,13 +31,6 @@ stdenv.mkDerivation rec {
     "--with-gmp"
   ];
 
-  src = fetchFromGitHub {
-    owner = "polyml";
-    repo = "polyml";
-    rev = "v${version}";
-    sha256 = "sha256-72wm8dt+Id59A5058mVE5P9TkXW5/LZRthZoxUustVA=";
-  };
-
   meta = with lib; {
     description = "Standard ML compiler and interpreter";
     longDescription = ''
-- 
cgit 1.4.1


From 3e320a2ada9e43ddd32094c3806b3666d9994a3a Mon Sep 17 00:00:00 2001
From: someplaceguy <someplaceguy@wizy.org>
Date: Mon, 30 Oct 2023 16:05:42 +0000
Subject: polyml: enable tests

---
 pkgs/development/compilers/polyml/default.nix | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/pkgs/development/compilers/polyml/default.nix b/pkgs/development/compilers/polyml/default.nix
index 9cbc72111be1..c82a88bb2793 100644
--- a/pkgs/development/compilers/polyml/default.nix
+++ b/pkgs/development/compilers/polyml/default.nix
@@ -31,6 +31,14 @@ stdenv.mkDerivation rec {
     "--with-gmp"
   ];
 
+  doCheck = true;
+
+  checkPhase = ''
+    runHook preCheck
+    make check
+    runHook postCheck
+  '';
+
   meta = with lib; {
     description = "Standard ML compiler and interpreter";
     longDescription = ''
-- 
cgit 1.4.1