From 2768de4793acc48d86b41e35bf2dc037e63c1e45 Mon Sep 17 00:00:00 2001 From: rsadowski Date: Wed, 18 Jan 2023 20:06:12 +0000 Subject: [PATCH] Regen PLIST --- devel/cudd/Makefile | 2 +- devel/cudd/pkg/PLIST | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/devel/cudd/Makefile b/devel/cudd/Makefile index 2865780f860..68c3356e5f4 100644 --- a/devel/cudd/Makefile +++ b/devel/cudd/Makefile @@ -5,7 +5,7 @@ GH_ACCOUNT = ivmai GH_PROJECT = cudd GH_TAGNAME = cudd-$V DISTNAME = cudd-$V -REVISION= 0 +REVISION= 1 CATEGORIES = devel diff --git a/devel/cudd/pkg/PLIST b/devel/cudd/pkg/PLIST index f7e9bbd846f..7cc80d03e1e 100644 --- a/devel/cudd/pkg/PLIST +++ b/devel/cudd/pkg/PLIST @@ -1,5 +1,5 @@ include/cudd.h -lib/libcudd.a +@static-lib lib/libcudd.a lib/libcudd.la @lib lib/libcudd.so.${LIBcudd_VERSION} share/doc/cudd/