$NetBSD: patch-libs_contrib_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $

Add DESTDIR support. Already done in upstream Git HEAD.

--- libs/contrib/Makefile.orig	2023-11-04 11:43:51.980988534 +0000
+++ libs/contrib/Makefile
@@ -2,10 +2,10 @@ all:
 	${IDRIS2} --build contrib.ipkg
 
 install:
-	${IDRIS2} --install contrib.ipkg
+	${IDRIS2} --install contrib.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
 
 install-with-src:
-	${IDRIS2} --install-with-src contrib.ipkg
+	${IDRIS2} --install-with-src contrib.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
 
 docs:
 	${IDRIS2} --mkdoc contrib.ipkg