From 0cbe02b3385dbcbbf5c16942ee6d2d1391f65d80 Mon Sep 17 00:00:00 2001
From: qbisi <qbisicwate@gmail.com>
Date: Fri, 14 Mar 2025 03:45:40 +0800
Subject: [PATCH] petsc: do not install examples by default

Petsc examples take up 58M and can be found in source code.
Thus we do not ship petsc with examples by default.
---
 pkgs/by-name/pe/petsc/package.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/by-name/pe/petsc/package.nix b/pkgs/by-name/pe/petsc/package.nix
index c3a642e0656c..70a0e5e76970 100644
--- a/pkgs/by-name/pe/petsc/package.nix
+++ b/pkgs/by-name/pe/petsc/package.nix
@@ -19,6 +19,7 @@
   petsc-precision ? "double",
   mpiSupport ? true,
   withPetsc4py ? false, # petsc python binding
+  withExamples ? false,
   withFullDeps ? false, # full External libraries support
 
   # External libraries options
@@ -165,6 +166,8 @@ stdenv.mkDerivation rec {
 
   configureScript = "python ./configure";
 
+  installTargets = [ (if withExamples then "install" else "install-lib") ];
+
   enableParallelBuilding = true;
 
   # This is needed as the checks need to compile and link the test cases with