diff options
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 |