|
|
@ -4,19 +4,25 @@ |
|
|
|
, parsec, process, regex-compat, text, time }: |
|
|
|
, parsec, process, regex-compat, text, time }: |
|
|
|
|
|
|
|
|
|
|
|
let |
|
|
|
let |
|
|
|
version = "2.3.6"; |
|
|
|
version = "2.3.8"; |
|
|
|
src = fetchFromGitHub { |
|
|
|
src = fetchFromGitHub { |
|
|
|
owner = "koka-lang"; |
|
|
|
owner = "koka-lang"; |
|
|
|
repo = "koka"; |
|
|
|
repo = "koka"; |
|
|
|
rev = "v${version}"; |
|
|
|
rev = "v${version}"; |
|
|
|
sha256 = "sha256-AibS/HudJKFQZlTxGD5LfwjBawIy1xwO2Hm8qzAUP2M="; |
|
|
|
sha256 = "sha256-4a9UwtiWq9eFpNHpcrlhYUwzXcr1EXFMjBmDFYP933U="; |
|
|
|
fetchSubmodules = true; |
|
|
|
fetchSubmodules = true; |
|
|
|
}; |
|
|
|
}; |
|
|
|
kklib = stdenv.mkDerivation { |
|
|
|
kklib = stdenv.mkDerivation { |
|
|
|
pname = "kklib"; |
|
|
|
pname = "kklib"; |
|
|
|
inherit version; |
|
|
|
inherit version; |
|
|
|
src = "${src}/kklib"; |
|
|
|
src = "${src}/kklib"; |
|
|
|
|
|
|
|
patches = [ ./kklib-mimalloc-macos-fix.diff ]; |
|
|
|
nativeBuildInputs = [ cmake ]; |
|
|
|
nativeBuildInputs = [ cmake ]; |
|
|
|
|
|
|
|
outputs = [ "out" "dev" ]; |
|
|
|
|
|
|
|
postInstall = '' |
|
|
|
|
|
|
|
mkdir -p ''${!outputDev}/share/koka/v${version} |
|
|
|
|
|
|
|
cp -a ../../kklib ''${!outputDev}/share/koka/v${version} |
|
|
|
|
|
|
|
''; |
|
|
|
}; |
|
|
|
}; |
|
|
|
inherit (pkgsHostTarget.targetPackages.stdenv) cc; |
|
|
|
inherit (pkgsHostTarget.targetPackages.stdenv) cc; |
|
|
|
runtimeDeps = [ |
|
|
|
runtimeDeps = [ |
|
|
@ -40,7 +46,7 @@ mkDerivation rec { |
|
|
|
postInstall = '' |
|
|
|
postInstall = '' |
|
|
|
mkdir -p $out/share/koka/v${version} |
|
|
|
mkdir -p $out/share/koka/v${version} |
|
|
|
cp -a lib $out/share/koka/v${version} |
|
|
|
cp -a lib $out/share/koka/v${version} |
|
|
|
cp -a kklib $out/share/koka/v${version} |
|
|
|
ln -s ${kklib.dev}/share/koka/v${version}/kklib $out/share/koka/v${version} |
|
|
|
wrapProgram "$out/bin/koka" \ |
|
|
|
wrapProgram "$out/bin/koka" \ |
|
|
|
--set CC "${lib.getBin cc}/bin/${cc.targetPrefix}cc" \ |
|
|
|
--set CC "${lib.getBin cc}/bin/${cc.targetPrefix}cc" \ |
|
|
|
--prefix PATH : "${lib.makeSearchPath "bin" runtimeDeps}" |
|
|
|
--prefix PATH : "${lib.makeSearchPath "bin" runtimeDeps}" |
|
|
|