diff options
Diffstat (limited to 'pkgs/development/compilers/lunarml/default.nix')
-rw-r--r-- | pkgs/development/compilers/lunarml/default.nix | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/pkgs/development/compilers/lunarml/default.nix b/pkgs/development/compilers/lunarml/default.nix deleted file mode 100644 index 406589e05f44..000000000000 --- a/pkgs/development/compilers/lunarml/default.nix +++ /dev/null @@ -1,58 +0,0 @@ -{ lib -, fetchFromGitHub -, stdenvNoCC -, mlton -, lua5_3 -}: - -let - version = "0.2.0"; -in -stdenvNoCC.mkDerivation { - inherit version; - - pname = "lunarml"; - - src = fetchFromGitHub { - owner = "minoki"; - repo = "LunarML"; - rev = "refs/tags/v${version}"; - hash = "sha256-w0DWvFegAdpJTab60cDLA+tketmMYeKApx1rCNr27i4="; - }; - - outputs = [ "out" "doc" ]; - - nativeBuildInputs = [ - mlton - ]; - - nativeCheckInputs = [ - lua5_3 - ]; - - postBuild = '' - make -C thirdparty install - ''; - - doCheck = true; - - installPhase = '' - runHook preInstall - - mkdir -p $doc/lunarml $out/{bin,lib} - cp -r bin $out - cp -r lib $out - cp -r example $doc/lunarml - - runHook postInstall - ''; - - meta = { - description = "Standard ML compiler that produces Lua/JavaScript"; - mainProgram = "lunarml"; - homepage = "https://github.com/minoki/LunarML"; - license = lib.licenses.mit; - maintainers = with lib.maintainers; [ toastal ratsclub ]; - platforms = mlton.meta.platforms; - }; -} |