From 672960f64292254fe6278996e4a457d2d70655a1 Mon Sep 17 00:00:00 2001 From: xenia Date: Tue, 23 Apr 2024 14:05:46 -0400 Subject: [PATCH] add ocamlPackages.xlog --- default.nix | 6 +++++- pkgs/ocaml/xlog/default.nix | 23 +++++++++++++++++++++++ 2 files changed, 28 insertions(+), 1 deletion(-) create mode 100644 pkgs/ocaml/xlog/default.nix diff --git a/default.nix b/default.nix index 0182ae5..895205e 100644 --- a/default.nix +++ b/default.nix @@ -1,4 +1,4 @@ -{ config, lib, pkgs, ... }: +{ ... }: { imports = [ @@ -12,6 +12,10 @@ ghidra_headless = prev.ghidra.override { openjdk17 = prev.openjdk17_headless; }; + + ocamlPackages = prev.ocamlPackages.overrideScope' (ofinal: oprev: { + xlog = ofinal.callPackage ./pkgs/ocaml/xlog {}; + }); }) ]; } diff --git a/pkgs/ocaml/xlog/default.nix b/pkgs/ocaml/xlog/default.nix new file mode 100644 index 0000000..6f81228 --- /dev/null +++ b/pkgs/ocaml/xlog/default.nix @@ -0,0 +1,23 @@ +{ + fetchgit, + buildDunePackage, + + ptime, + ppxlib +}: +buildDunePackage rec { + pname = "xlog"; + version = "0.0.1"; + + src = fetchgit { + url = "https://git.lain.faith/haskal/xlog.git"; + rev = version; + hash = "sha256-AS50sT4PJm/zk58R/yniGGG0sqdqZUePcVg0BI1CA4E="; + }; + + minimalOcamlVersion = "5.1"; + dontStrip = true; + + buildInputs = [ ppxlib ]; + propagatedBuildInputs = [ ptime ]; +}