summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-10-06 14:55:31 +0200
committerMaciej Barć <xgqt@gentoo.org>2023-10-06 17:20:50 +0200
commit6b0f2999c4b2a7996376971616d3552ce4d732a6 (patch)
tree7dffd016f8a5c5e409812b90c0535c0fdc446775 /dev-lang
parentdev-lang/dafny: drop old 4.2.0 (diff)
downloadgentoo-6b0f2999c4b2a7996376971616d3552ce4d732a6.tar.gz
gentoo-6b0f2999c4b2a7996376971616d3552ce4d732a6.tar.bz2
gentoo-6b0f2999c4b2a7996376971616d3552ce4d732a6.zip
dev-lang/dafny: clean environment in pkg_setup
force clean _JAVA_OPTIONS Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/dafny/dafny-4.3.0.ebuild13
1 files changed, 9 insertions, 4 deletions
diff --git a/dev-lang/dafny/dafny-4.3.0.ebuild b/dev-lang/dafny/dafny-4.3.0.ebuild
index 1e7294b7512d..216aec617ebc 100644
--- a/dev-lang/dafny/dafny-4.3.0.ebuild
+++ b/dev-lang/dafny/dafny-4.3.0.ebuild
@@ -430,6 +430,15 @@ DOCS=(
)
pkg_setup() {
+ # Clean the environment.
+ unset NPM_CONFIG_USERCONFIG
+
+ if [[ -n "${_JAVA_OPTIONS}" ]] ; then
+ ewarn "Cleaning _JAVA_OPTIONS because when set compile and test may fail"
+
+ unset _JAVA_OPTIONS
+ fi
+
check-reqs_pkg_setup
dotnet-pkg_pkg_setup
java-pkg-2_pkg_setup
@@ -449,10 +458,6 @@ src_unpack() {
}
src_prepare() {
- # Clean the environment.
- unset NPM_CONFIG_USERCONFIG
- unset _JAVA_OPTIONS
-
# Remove bad tests (recursive).
local -a bad_tests
bad_tests=(