diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-09-18 05:05:05 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-09-18 05:05:05 +0100 |
commit | 836586553c510ee2dd91e2ecd7676fe432c1f1a4 (patch) | |
tree | 38ac002e272f81097f4d65e1e8c94625d291f358 /dev-lang/dafny/dafny-4.2.0.ebuild | |
parent | 89553b6b47f66268074b385593005eacd7b65ccf (diff) |
gentoo auto-resync : 18:09:2023 - 05:05:05
Diffstat (limited to 'dev-lang/dafny/dafny-4.2.0.ebuild')
-rw-r--r-- | dev-lang/dafny/dafny-4.2.0.ebuild | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/dev-lang/dafny/dafny-4.2.0.ebuild b/dev-lang/dafny/dafny-4.2.0.ebuild index b95aa81fb52f..34aaf73989ea 100644 --- a/dev-lang/dafny/dafny-4.2.0.ebuild +++ b/dev-lang/dafny/dafny-4.2.0.ebuild @@ -354,6 +354,14 @@ pkg_setup() { fi } +src_unpack() { + dotnet-pkg_src_unpack + + if [[ -n ${EGIT_REPO_URI} ]] ; then + git-r3_src_unpack + fi +} + src_prepare() { # Clean the environment. unset NPM_CONFIG_USERCONFIG |