tjh.dev
1{ stdenv
2, mlton
3, lib
4, fetchFromGitHub
5}:
6
7stdenv.mkDerivation rec {
8 pname = "initool";
9 version = "0.10.0";
10
11 src = fetchFromGitHub {
12 owner = "dbohdan";
13 repo = pname;
14 rev = "v${version}";
15 hash = "sha256-pszlP9gy1zjQjNNr0L1NY0XViejUUuvUZH6JHtUxdJI=";
16 };
17
18 nativeBuildInputs = [ mlton ];
19
20 doCheck = true;
21
22 installPhase = ''
23 runHook preInstall
24
25 mkdir -p $out/bin
26 cp initool $out/bin/
27
28 runHook postInstall
29 '';
30
31 meta = with lib; {
32 inherit (mlton.meta) platforms;
33
34 description = "Manipulate INI files from the command line";
35 homepage = "https://github.com/dbohdan/initool";
36 license = licenses.mit;
37 maintainers = with maintainers; [ e1mo ];
38 changelog = "https://github.com/dbohdan/initool/releases/tag/v${version}";
39 };
40}
41