koka: 2.4.2 -> 3.0.4
This commit is contained in:
parent
350f3f7b16
commit
6c9f27ab9a
1 changed files with 55 additions and 8 deletions
|
@ -1,15 +1,42 @@
|
||||||
{ stdenv, pkgsHostTarget, cmake, makeWrapper, mkDerivation, fetchFromGitHub
|
{ stdenv
|
||||||
, alex, array, base, bytestring, cond, containers, directory, extra
|
, pkgsHostTarget
|
||||||
, filepath, hpack, hspec, hspec-core, isocline, json, lib, mtl
|
, cmake
|
||||||
, parsec, process, regex-compat, text, time }:
|
, makeWrapper
|
||||||
|
, mkDerivation
|
||||||
|
, fetchFromGitHub
|
||||||
|
, alex
|
||||||
|
, lib
|
||||||
|
, hpack
|
||||||
|
, aeson
|
||||||
|
, array
|
||||||
|
, async
|
||||||
|
, base
|
||||||
|
, bytestring
|
||||||
|
, co-log-core
|
||||||
|
, cond
|
||||||
|
, containers
|
||||||
|
, directory
|
||||||
|
, FloatingHex
|
||||||
|
, isocline
|
||||||
|
, lens
|
||||||
|
, lsp
|
||||||
|
, mtl
|
||||||
|
, network
|
||||||
|
, network-simple
|
||||||
|
, parsec
|
||||||
|
, process
|
||||||
|
, text
|
||||||
|
, text-rope
|
||||||
|
, time
|
||||||
|
}:
|
||||||
|
|
||||||
let
|
let
|
||||||
version = "2.4.2";
|
version = "3.0.4";
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "koka-lang";
|
owner = "koka-lang";
|
||||||
repo = "koka";
|
repo = "koka";
|
||||||
rev = "v${version}";
|
rev = "v${version}";
|
||||||
sha256 = "sha256-sVjaIzOxNuBtDswpDl5gLB10Sw945TQAf2ywrKumqqk=";
|
sha256 = "sha256-U8BW1Aq9t3je0YDV8NkE0MzdnjwXBJQbmekh5ufOs3k=";
|
||||||
fetchSubmodules = true;
|
fetchSubmodules = true;
|
||||||
};
|
};
|
||||||
kklib = stdenv.mkDerivation {
|
kklib = stdenv.mkDerivation {
|
||||||
|
@ -38,8 +65,28 @@ mkDerivation rec {
|
||||||
isExecutable = true;
|
isExecutable = true;
|
||||||
libraryToolDepends = [ hpack ];
|
libraryToolDepends = [ hpack ];
|
||||||
executableHaskellDepends = [
|
executableHaskellDepends = [
|
||||||
array base bytestring cond containers directory isocline mtl
|
aeson
|
||||||
parsec process text time kklib
|
array
|
||||||
|
async
|
||||||
|
base
|
||||||
|
bytestring
|
||||||
|
co-log-core
|
||||||
|
cond
|
||||||
|
containers
|
||||||
|
directory
|
||||||
|
FloatingHex
|
||||||
|
isocline
|
||||||
|
lens
|
||||||
|
lsp
|
||||||
|
mtl
|
||||||
|
network
|
||||||
|
network-simple
|
||||||
|
parsec
|
||||||
|
process
|
||||||
|
text
|
||||||
|
text-rope
|
||||||
|
time
|
||||||
|
kklib
|
||||||
];
|
];
|
||||||
executableToolDepends = [ alex makeWrapper ];
|
executableToolDepends = [ alex makeWrapper ];
|
||||||
postInstall = ''
|
postInstall = ''
|
||||||
|
|
Loading…
Reference in a new issue