polyml: enable tests

2023-12-04 02:51:50 +00:00
parent 69d4020bbb
commit 3e320a2ada
1 changed files with 8 additions and 0 deletions
@@ -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 = ''