diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-09-18 00:18:19 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-18 00:37:21 +0200 |
| commit | 7b3b0de322937aa1ff952ced4336e8aa06c53247 (patch) | |
| tree | 4ea475ad98e1a006998121062e19b806cda33310 /dev-lang | |
| parent | dev-dotnet/dotnet-runtime-nugets: DOTNET_COMPAT -> DOTNET_PKG_COMPAT (diff) | |
| download | gentoo-7b3b0de322937aa1ff952ced4336e8aa06c53247.tar.gz gentoo-7b3b0de322937aa1ff952ced4336e8aa06c53247.tar.bz2 gentoo-7b3b0de322937aa1ff952ced4336e8aa06c53247.zip | |
dev-lang/dafny: add missing src_unpack to support git
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang')
| -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 |