diff options
| author | someplaceguy <someplaceguy@wizy.org> | 2023-10-30 16:05:42 +0000 |
|---|---|---|
| committer | someplaceguy <someplaceguy@wizy.org> | 2023-12-04 02:51:50 +0000 |
| commit | 3e320a2ada9e43ddd32094c3806b3666d9994a3a (patch) | |
| tree | d855f59f71fb0c1dc2ae76a350772b359bfc55b0 | |
| parent | 69d4020bbbf061029f80f5956ee5a5064c25d64a (diff) | |
| download | nixlib-3e320a2ada9e43ddd32094c3806b3666d9994a3a.tar nixlib-3e320a2ada9e43ddd32094c3806b3666d9994a3a.tar.gz nixlib-3e320a2ada9e43ddd32094c3806b3666d9994a3a.tar.bz2 nixlib-3e320a2ada9e43ddd32094c3806b3666d9994a3a.tar.lz nixlib-3e320a2ada9e43ddd32094c3806b3666d9994a3a.tar.xz nixlib-3e320a2ada9e43ddd32094c3806b3666d9994a3a.tar.zst nixlib-3e320a2ada9e43ddd32094c3806b3666d9994a3a.zip | |
polyml: enable tests
| -rw-r--r-- | pkgs/development/compilers/polyml/default.nix | 8 |
1 files changed, 8 insertions, 0 deletions
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 = '' |