git: f419a283494c - main - OptionalObsoleteFiles.inc: add bearssl, secureboot, veriexec.

From: Dag-Erling Smørgrav <des_at_FreeBSD.org>
Date: Fri, 09 Sep 2022 12:12:05 UTC
The branch main has been updated by des:

URL: https://cgit.FreeBSD.org/src/commit/?id=f419a283494ca422df62d3191108d51707a23348

commit f419a283494ca422df62d3191108d51707a23348
Author:     Dag-Erling Smørgrav <des@FreeBSD.org>
AuthorDate: 2022-09-09 12:06:11 +0000
Commit:     Dag-Erling Smørgrav <des@FreeBSD.org>
CommitDate: 2022-09-09 12:06:11 +0000

    OptionalObsoleteFiles.inc: add bearssl, secureboot, veriexec.
    
    Sponsored by:   Klara, Inc.
    MFC after:      1 week
---
 tools/build/mk/OptionalObsoleteFiles.inc | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/tools/build/mk/OptionalObsoleteFiles.inc b/tools/build/mk/OptionalObsoleteFiles.inc
index 2ca65d27e16c..c60663572a27 100644
--- a/tools/build/mk/OptionalObsoleteFiles.inc
+++ b/tools/build/mk/OptionalObsoleteFiles.inc
@@ -178,6 +178,15 @@ OLD_FILES+=usr/share/man/man8/autounmountd.8.gz
 OLD_DIRS+=etc/autofs
 .endif
 
+.if ${MK_BEARSSL} == no
+OLD_FILES+=usr/lib/libbearssl.a
+OLD_FILES+=usr/lib/libbearssl.so
+OLD_LIBS+=usr/lib/libbearssl.so.5
+OLD_FILES+=usr/lib/libsecureboot.a
+OLD_FILES+=usr/lib/libsecureboot.so
+OLD_LIBS+=usr/lib/libsecureboot.so.5
+.endif
+
 .if ${MK_BHYVE} == no
 OLD_FILES+=usr/lib/libvmmapi.a
 OLD_FILES+=usr/lib/libvmmapi.so
@@ -9659,6 +9668,14 @@ OLD_FILES+=usr/share/man/man8/lastlogin.8.gz
 OLD_FILES+=usr/share/man/man8/utx.8.gz
 .endif
 
+.if ${MK_VERIEXEC} == no
+OLD_FILES+=sbin/veriexec
+OLD_FILES+=usr/share/man/man8/veriexec.8.gz
+OLD_FILES+=usr/lib/libveriexec.a
+OLD_FILES+=usr/lib/libveriexec.so
+OLD_LIBS+=usr/lib/libveriexec.so.5
+.endif
+
 .if ${MK_VI} == no
 OLD_FILES+=etc/rc.d/virecover
 OLD_FILES+=rescue/ex