Merge pull request #175117 from alexshpilkin/smlnj-mainProgram

smlnj,smlnjBootstrap: set meta.mainProgram
This commit is contained in:
Mario Rodas 2022-05-29 07:27:30 -05:00 committed by GitHub
commit 546900ec11
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 0 deletions

@ -44,5 +44,6 @@ stdenv.mkDerivation rec {
license = lib.licenses.free;
platforms = lib.platforms.darwin;
maintainers = [ lib.maintainers.jwiegley ];
mainProgram = "sml";
};
}

@ -87,5 +87,6 @@ in stdenv.mkDerivation {
license = licenses.bsd3;
platforms = [ "x86_64-linux" "i686-linux" "x86_64-darwin" ];
maintainers = with maintainers; [ thoughtpolice ];
mainProgram = "sml";
};
}