From 2fbef3363ff578204c024e1bf59124d62cdf9781 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 3 Mar 2022 17:19:57 +0100
Subject: [PATCH] [ci] add headache to nix
---
nix/headache.nix | 32 ++++++++++++++++++++++++++++++++
nix/pkgs.nix | 1 +
2 files changed, 33 insertions(+)
create mode 100644 nix/headache.nix
diff --git a/nix/headache.nix b/nix/headache.nix
new file mode 100644
index 00000000000..258016810dd
--- /dev/null
+++ b/nix/headache.nix
@@ -0,0 +1,32 @@
+{ lib
+, camomile
+, fetchFromGitHub
+, buildDunePackage
+, cmdliner
+}:
+
+buildDunePackage rec {
+ version = "v1.05";
+ pname = "headache";
+
+ src = fetchFromGitHub {
+ owner = "Frama-C";
+ repo = pname;
+ rev = version;
+ sha256 = "036lrcxh23j2rrj91wlgq9piyyv1vh82wjy63z1l1ggkkhfs7d8r";
+ };
+
+ useDune2 = true;
+
+ buildInputs = [
+ cmdliner
+ camomile
+ ];
+
+ meta = with lib; {
+ homepage = https://github.com/Frama-C/headache/;
+ description = "Automatic generation of files headers";
+ license = licenses.gpl2;
+ maintainers = [ ];
+ };
+}
diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index a36dae2d38b..d6eb7cf3903 100644
--- a/nix/pkgs.nix
+++ b/nix/pkgs.nix
@@ -4,6 +4,7 @@ let
# External Packages
alt-ergo = oself.callPackage ./alt-ergo.nix {};
camlzip = oself.callPackage ./camlzip.nix {};
+ headache = oself.callPackage ./headache.nix {};
ocp-indent = oself.callPackage ./ocp-indent.nix {};
psmt2-frontend = oself.callPackage ./psmt2-frontend.nix {};
why3 = oself.callPackage ./why3.nix {};
--
GitLab