tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
0
fork
atom
lol
0
fork
atom
overview
issues
pulls
pipelines
smlpkg: init at 0.1.5
Troels Henriksen
5 years ago
5fd817e6
2ed85979
+44
2 changed files
expand all
collapse all
unified
split
pkgs
tools
package-management
smlpkg
default.nix
top-level
all-packages.nix
+42
pkgs/tools/package-management/smlpkg/default.nix
···
1
1
+
{ lib, stdenv, fetchFromGitHub, mlton, unzip }:
2
2
+
3
3
+
stdenv.mkDerivation rec {
4
4
+
pname = "smlpkg";
5
5
+
version = "0.1.5";
6
6
+
7
7
+
src = fetchFromGitHub {
8
8
+
owner = "diku-dk";
9
9
+
repo = "smlpkg";
10
10
+
rev = "v${version}";
11
11
+
sha256 = "1xmbdnfc34ia0a78dhkfv5jyadxndinhw8c47l1mjd4l7n8vqnph";
12
12
+
};
13
13
+
14
14
+
enableParallelBuilding = true;
15
15
+
16
16
+
nativeBuildInputs = [ mlton ];
17
17
+
18
18
+
# Set as an environment variable in all the phase scripts.
19
19
+
MLCOMP = "mlton";
20
20
+
21
21
+
buildFlags = ["all"];
22
22
+
installFlags = ["prefix=$(out)"];
23
23
+
24
24
+
doCheck = true;
25
25
+
26
26
+
checkInputs = [ unzip ];
27
27
+
28
28
+
# We cannot run the pkgtests, as Nix does not allow network
29
29
+
# connections.
30
30
+
checkPhase = ''
31
31
+
runHook preCheck
32
32
+
make -C src test
33
33
+
runHook postCheck
34
34
+
'';
35
35
+
36
36
+
meta = with lib; {
37
37
+
description = "Generic package manager for Standard ML libraries and programs";
38
38
+
homepage = "https://github.com/diku-dk/smlpkg";
39
39
+
license = licenses.mit;
40
40
+
maintainers = with maintainers; [ athas ];
41
41
+
};
42
42
+
}
+2
pkgs/top-level/all-packages.nix
···
10887
10887
smlnjBootstrap = callPackage ../development/compilers/smlnj/bootstrap.nix { };
10888
10888
smlnj = callPackage ../development/compilers/smlnj { };
10889
10889
10890
10890
+
smlpkg = callPackage ../tools/package-management/smlpkg { };
10891
10891
+
10890
10892
solc = callPackage ../development/compilers/solc { };
10891
10893
10892
10894
souffle = callPackage ../development/compilers/souffle {