2026-03-25 12:43:36 +09:00
|
|
|
{ inputs ? (import ./inputs.nix)
|
|
|
|
|
, garnet-rs ? inputs.garnet-rs.packages.${system}.default
|
2026-03-24 16:01:44 +00:00
|
|
|
}:
|
2026-03-25 12:43:36 +09:00
|
|
|
|
2026-03-24 16:01:44 +00:00
|
|
|
{
|
|
|
|
|
name = "garnet";
|
|
|
|
|
src = ./.;
|
|
|
|
|
compiler-nix-name = "ghc914";
|
|
|
|
|
source-repository-packages = {
|
|
|
|
|
# not on Hackage yet: https://well-typed.com/blog/2026/02/hs-bindgen-alpha
|
|
|
|
|
# we're using more recent versions than in that post, because we want record-dot support:
|
|
|
|
|
# https://github.com/well-typed/hs-bindgen/issues/1829#issuecomment-4081875451
|
2026-03-25 12:43:36 +09:00
|
|
|
c-expr-dsl = inputs.hs-bindgen-src + "/c-expr-dsl";
|
|
|
|
|
c-expr-runtime = inputs.hs-bindgen-src + "/c-expr-runtime";
|
|
|
|
|
hs-bindgen = inputs.hs-bindgen-src + "/hs-bindgen";
|
|
|
|
|
hs-bindgen-runtime = inputs.hs-bindgen-src + "/hs-bindgen-runtime";
|
|
|
|
|
libclang-bindings = inputs.libclang-src;
|
2026-03-24 16:01:44 +00:00
|
|
|
};
|
|
|
|
|
overrides = [
|
|
|
|
|
({ pkgs, ... }: {
|
|
|
|
|
packages.libclang-bindings.components.library = {
|
|
|
|
|
build-tools = [ pkgs.llvmPackages.llvm ];
|
|
|
|
|
libs = [ pkgs.llvmPackages.libclang ];
|
|
|
|
|
};
|
|
|
|
|
})
|
2026-03-25 12:43:36 +09:00
|
|
|
] ++ (if garnet-rs != null then [
|
|
|
|
|
(_: {
|
|
|
|
|
packages.garnet.components.library = {
|
|
|
|
|
preConfigure = ''
|
|
|
|
|
mkdir -p rust/target/debug
|
|
|
|
|
ln -s ${garnet-rs}/include/garnet_rs.h rust/target/debug/garnet_rs.h
|
|
|
|
|
ln -s ${garnet-rs}/lib/libCgarnet_rs.a rust/target/debug/libCgarnet_rs.a
|
|
|
|
|
'';
|
|
|
|
|
preInstall = ''
|
|
|
|
|
cp ${garnet-rs}/lib/libCgarnet_rs.a dist/build/libCgarnet_rs.a
|
|
|
|
|
'';
|
|
|
|
|
configureFlags = [ "--extra-lib-dirs=${garnet-rs}/lib" ];
|
|
|
|
|
};
|
|
|
|
|
})
|
|
|
|
|
] else []);
|
2026-03-24 16:01:44 +00:00
|
|
|
shell = {
|
|
|
|
|
tools = {
|
|
|
|
|
cabal = "latest";
|
|
|
|
|
haskell-language-server = {
|
2026-03-25 12:43:36 +09:00
|
|
|
src = inputs.hls-src;
|
2026-03-24 16:01:44 +00:00
|
|
|
sha256map = {
|
|
|
|
|
"https://github.com/snowleopard/alga"."d4e43fb42db05413459fb2df493361d5a666588a" = "0s1mlnl64wj7pkg3iipv5bb4syy3bhxwqzqv93zqlvkyfn64015i";
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
withHoogle = false;
|
|
|
|
|
withHaddock = true;
|
|
|
|
|
};
|
|
|
|
|
}
|