From fbc2fc704e0153f45e1f4c4a4f16e01119dd2479 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Wed, 8 Jul 2026 21:31:46 +0300
Subject: [PATCH] Do not install an essential (e.g. config) if it's the library
 argument

---
 depinst/depinst.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/depinst/depinst.py b/depinst/depinst.py
index 1198c1d..4a97074 100644
--- a/depinst/depinst.py
+++ b/depinst/depinst.py
@@ -267,6 +267,9 @@ if( __name__ == "__main__" ):
 
     essentials = [ 'config', 'headers', '../tools/boost_install', '../tools/build', '../tools/cmake' ]
 
+    if args.library in essentials:
+        essentials.remove( args.library )
+
     essentials = [ e for e in essentials if os.path.exists( 'libs/' + e ) ]
 
     if args.update: