diff options
author | Maciej Barć <xgqt@gentoo.org> | 2023-10-06 14:55:31 +0200 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-10-06 17:20:50 +0200 |
commit | 6b0f2999c4b2a7996376971616d3552ce4d732a6 (patch) | |
tree | 7dffd016f8a5c5e409812b90c0535c0fdc446775 /dev-lang | |
parent | dev-lang/dafny: drop old 4.2.0 (diff) | |
download | gentoo-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.ebuild | 13 |
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=( |