From 4ba8b68e513331130c442bef6d65aab78e83cfa1 Mon Sep 17 00:00:00 2001 From: Nicolas Jeannerod Date: Wed, 10 May 2023 01:15:19 +0000 Subject: [PATCH] Fix the way `headache` is used (#168) --- Makefile | 2 +- flake.nix | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 14cb996..084105a 100644 --- a/Makefile +++ b/Makefile @@ -64,4 +64,4 @@ publish-docker-image: docker-image docker image push colisanr/morbig:latest headers: - headache -h .header $(shell find src/ -regex '.*\.ml[ily]?') + headache -h .header $(shell find src/ tests/ -regex '.*\.ml[ily]?') diff --git a/flake.nix b/flake.nix index afa6caf..b566478 100644 --- a/flake.nix +++ b/flake.nix @@ -27,7 +27,11 @@ packages.default = self'.packages.with-nixpkgs; devShells.default = pkgs.mkShell { - buildInputs = with pkgs.ocamlPackages; [ ocaml-lsp ocp-indent ]; + buildInputs = with pkgs.ocamlPackages; [ + ocaml-lsp + ocp-indent + headache + ]; inputsFrom = [ self'.packages.default ]; shellHook = config.pre-commit.installationScript; };