Add devenv option to not install git hooks

devenv.nix

@@ -1,52 +1,60 @@
-{ pkgs, lib, inputs, ... }:
+{ pkgs, lib, inputs, config, ... }:
 let
   pkgs-stable = import inputs.nixpkgs-stable { system = pkgs.stdenv.system; };
+  cfg = config.hugr;
 in
 {
-  # https://devenv.sh/packages/
-  # on macos frameworks have to be explicitly specified
-  # otherwise a linker error ocurs on rust packages
-  packages = [
-    pkgs.just
-    pkgs.llvmPackages_16.libllvm
-    # cargo-llvm-cov is currently marked broken on nixpkgs unstable
-    pkgs-stable.cargo-llvm-cov
-  ] ++ lib.optionals
-    pkgs.stdenv.isDarwin
-    (with pkgs.darwin.apple_sdk; [
-      frameworks.CoreServices
-      frameworks.CoreFoundation
-      # added for json schema validation tests
-      frameworks.SystemConfiguration
-    ]);
+  options.hugr = {
+    installGitHooks = lib.mkEnableOption "installGitHooks" // { default = true; };
+  };
+
+  config = {
+    # https://devenv.sh/packages/
+    # on macos frameworks have to be explicitly specified
+    # otherwise a linker error ocurs on rust packages
+    packages = [
+      pkgs.just
+      pkgs.llvmPackages_16.libllvm
+      # cargo-llvm-cov is currently marked broken on nixpkgs unstable
+      pkgs-stable.cargo-llvm-cov
+    ] ++ lib.optionals
+      pkgs.stdenv.isDarwin
+      (with pkgs.darwin.apple_sdk; [
+        frameworks.CoreServices
+        frameworks.CoreFoundation
+        # added for json schema validation tests
+        frameworks.SystemConfiguration
+      ]);
 
-  # https://devenv.sh/scripts/
-  scripts.hello.exec = "echo Welcome to hugr dev shell!";
+    # https://devenv.sh/scripts/
+    scripts.hello.exec = "echo Welcome to hugr dev shell!";
 
-  enterShell = ''
-    hello
-    cargo --version
-    export LLVM_COV="${pkgs.llvmPackages_16.libllvm}/bin/llvm-cov"
-    export LLVM_PROFDATA="${pkgs.llvmPackages_16.libllvm}/bin/llvm-profdata"
+    enterShell = let
+      justArgs = if !cfg.installGitHooks then " git-hooks=false" else "";
+      in ''
+      hello
+      cargo --version
+      export LLVM_COV="${pkgs.llvmPackages_16.libllvm}/bin/llvm-cov"
+      export LLVM_PROFDATA="${pkgs.llvmPackages_16.libllvm}/bin/llvm-profdata"
 
-    just setup
-  '';
+      just setup${justArgs}
+    '';
 
-  languages.python = {
-    enable = true;
-    poetry = {
+    languages.python = {
       enable = true;
-      activate.enable = true;
+      poetry = {
+        enable = true;
+        activate.enable = true;
+      };
     };
-  };
 
-  # https://devenv.sh/languages/
-  # https://devenv.sh/reference/options/#languagesrustversion
-  languages.rust = {
-    channel = "stable";
-    enable = true;
-    components = [ "rustc" "cargo" "clippy" "rustfmt" "rust-analyzer" ];
+    # https://devenv.sh/languages/
+    # https://devenv.sh/reference/options/#languagesrustversion
+    languages.rust = {
+      channel = "stable";
+      enable = true;
+      components = [ "rustc" "cargo" "clippy" "rustfmt" "rust-analyzer" ];
+    };
   };
-
   # See full reference at https://devenv.sh/reference/options/
 }

justfile

@@ -4,9 +4,9 @@ help:
 
 # Prepare the environment for development, installing all the dependencies and
 # setting up the pre-commit hooks.
-setup:
+setup git-hooks="true":
     poetry install
-    poetry run pre-commit install -t pre-commit
+    {{ if git-hooks == "true" { "poetry run pre-commit install -t pre-commit" } else { "" } }}
 
 # Run the pre-commit checks.
 check: