git: 189bfde11e2d - main - math/hs-Agda: Fix plist

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Gleb Popov <arrowd_at_FreeBSD.org>
Date: Sat, 16 Mar 2024 11:52:32 UTC
The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=189bfde11e2d8b67defc18910b0d6f9efba40f41

commit 189bfde11e2d8b67defc18910b0d6f9efba40f41
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2024-03-16 11:50:44 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-03-16 11:51:15 +0000

    math/hs-Agda: Fix plist
    
    PR:             277730
    Fixes:  ba61a442a89ec86117ece8c356b5c5117a67681e
---
 math/hs-Agda/Makefile  |  2 ++
 math/hs-Agda/pkg-plist | 75 +++++++++++++++++++++++++-------------------------
 2 files changed, 40 insertions(+), 37 deletions(-)

diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index 7ccf308f95ce..fff83be227f2 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -19,6 +19,8 @@ USES=		cabal
 
 USE_LOCALE=	en_US.UTF-8
 
+PLIST_SUB=	AGDA_VER=${PORTVERSION}
+
 USE_CABAL=	OneTuple-0.4.1.1_1 \
 		QuickCheck-2.14.3 \
 		STMonadTrans-0.4.8 \
diff --git a/math/hs-Agda/pkg-plist b/math/hs-Agda/pkg-plist
index 8f80523d7955..b603c42f016d 100644
--- a/math/hs-Agda/pkg-plist
+++ b/math/hs-Agda/pkg-plist
@@ -16,76 +16,77 @@
 %%DATADIR%%/emacs-mode/eri.el
 %%DATADIR%%/emacs-mode/eri.elc
 %%DATADIR%%/lib/prim/Agda/Builtin/Bool.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Bool.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Char.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Char.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Char/Properties.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Char/Properties.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Coinduction.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Coinduction.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Equiv.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Equiv.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Glue.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Glue.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Cubical/HCompU.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/HCompU.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Id.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Id.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Path.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Path.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Sub.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Sub.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Equality.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Equality.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Equality/Erase.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Equality/Erase.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Equality/Rewrite.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Equality/Rewrite.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Float.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Float.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Float/Properties.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Float/Properties.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/FromNat.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/FromNat.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/FromNeg.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/FromNeg.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/FromString.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/FromString.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/IO.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/IO.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Int.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Int.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/List.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/List.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Maybe.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Maybe.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Nat.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Nat.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Reflection.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Reflection.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Reflection/External.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Reflection/External.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Reflection/Properties.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Reflection/Properties.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Sigma.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Sigma.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Size.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Size.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Strict.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Strict.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/String.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/String.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/String/Properties.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/String/Properties.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/TrustMe.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/TrustMe.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Unit.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Unit.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Word.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Word.agdai
 %%DATADIR%%/lib/prim/Agda/Builtin/Word/Properties.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Word/Properties.agdai
 %%DATADIR%%/lib/prim/Agda/Primitive.agda
-%%DATADIR%%/lib/prim/Agda/Primitive.agdai
 %%DATADIR%%/lib/prim/Agda/Primitive/Cubical.agda
-%%DATADIR%%/lib/prim/Agda/Primitive/Cubical.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Bool.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Char.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Char/Properties.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Coinduction.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Equiv.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Glue.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/HCompU.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Id.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Path.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Sub.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Equality.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Equality/Erase.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Equality/Rewrite.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Float.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Float/Properties.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/FromNat.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/FromNeg.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/FromString.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/IO.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Int.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/List.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Maybe.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Nat.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Reflection.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Reflection/External.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Reflection/Properties.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Sigma.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Size.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Strict.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/String.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/String/Properties.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/TrustMe.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Unit.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Word.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Word/Properties.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Primitive.agdai
+%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Primitive/Cubical.agdai
+%%DATADIR%%/lib/prim/agda-builtins.agda-lib