Merge pull request #112558 from athas/smlpkg

smlpkg: init at 0.1.5
This commit is contained in:
Sandro 2021-02-10 09:16:44 +01:00 committed by GitHub
commit ff9c7b85bb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 44 additions and 0 deletions

View file

@ -0,0 +1,42 @@
{ lib, stdenv, fetchFromGitHub, mlton, unzip }:
stdenv.mkDerivation rec {
pname = "smlpkg";
version = "0.1.5";
src = fetchFromGitHub {
owner = "diku-dk";
repo = "smlpkg";
rev = "v${version}";
sha256 = "1xmbdnfc34ia0a78dhkfv5jyadxndinhw8c47l1mjd4l7n8vqnph";
};
enableParallelBuilding = true;
nativeBuildInputs = [ mlton ];
# Set as an environment variable in all the phase scripts.
MLCOMP = "mlton";
buildFlags = ["all"];
installFlags = ["prefix=$(out)"];
doCheck = true;
checkInputs = [ unzip ];
# We cannot run the pkgtests, as Nix does not allow network
# connections.
checkPhase = ''
runHook preCheck
make -C src test
runHook postCheck
'';
meta = with lib; {
description = "Generic package manager for Standard ML libraries and programs";
homepage = "https://github.com/diku-dk/smlpkg";
license = licenses.mit;
maintainers = with maintainers; [ athas ];
};
}

View file

@ -10882,6 +10882,8 @@ in
smlnjBootstrap = callPackage ../development/compilers/smlnj/bootstrap.nix { }; smlnjBootstrap = callPackage ../development/compilers/smlnj/bootstrap.nix { };
smlnj = callPackage ../development/compilers/smlnj { }; smlnj = callPackage ../development/compilers/smlnj { };
smlpkg = callPackage ../tools/package-management/smlpkg { };
solc = callPackage ../development/compilers/solc { }; solc = callPackage ../development/compilers/solc { };
souffle = callPackage ../development/compilers/souffle { souffle = callPackage ../development/compilers/souffle {