summaryrefslogtreecommitdiff
path: root/dev-lang/dafny
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang/dafny')
-rw-r--r--dev-lang/dafny/Manifest2
-rw-r--r--dev-lang/dafny/dafny-4.2.0.ebuild8
2 files changed, 9 insertions, 1 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index 8218e42189e6..156a23bc509a 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -271,5 +271,5 @@ DIST xunit.extensibility.execution.2.4.0.nupkg 481651 BLAKE2B 8cd2bef58356196059
DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c9598afe247f46c0630fff6ad5e1cb82105182cac11b410c0c41c19fd513c5a3a59183ca45e1046af3289d670e0329a424ed7cb4a81735a SHA512 e654fcf8767427d5370746cab7f2078fddaf2239c9b312114bd68f1d91f739acef8586697e44c41442ace3a3d140591bd8ddeae81b3079f6719b3740757cc90d
DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4
DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1
-EBUILD dafny-4.2.0.ebuild 15948 BLAKE2B 3a5bd680ab46066d8bdd44e0b4a6dc9747c8f17819f3dab2c4d1d8f04772ee92d6cfd4ca3a300a499fe01b6028efacc534678a487b4fddc7864643be7dbb74f6 SHA512 2f391b06b35fb5a3e3d1ed499d73d281b77c308025462b534deb757ecb2ae0084efb824e881a6d374272539ef517cd704e3e0c7853841a8a9f0ce54eff89d0fb
+EBUILD dafny-4.2.0.ebuild 16051 BLAKE2B 400b0f139d18d2077964d4855cdcc8f726d3e3f4dd48e5ee93245b701eeea73b269c26527dcc8948551f82145bce050a275242ee7b8a639a8d9ab671653020c1 SHA512 99a753e98236d068ab060fba1fa264a19a0c8ce60373b7fa15b9804bd5ca8617359ae6f479b982af134fab0c75df38339bc1a13967cbc89d8dcd5eeb4842d767
MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e
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