environment

environment (text/plain), 28.20 KB, created by Toralf Förster on 2022-05-03 17:04:03 UTC

declare -x ABI="amd64"
declare -x ABI_MIPS=""
declare -x ABI_S390=""
declare -x ABI_X86="64"
declare -x ADA_TARGET=""
declare -x ALLOW_TEST="network"
declare -x ALSA_CARDS=""
declare -x AMANDA_CONFIG_NAME="DailySet1"
declare -x AMANDA_DBGDIR="/var/tmp/amanda"
declare -x AMANDA_GROUP_NAME="amanda"
declare -x AMANDA_PORTS=""
declare -x AMANDA_PORTS_BOTH=""
declare -x AMANDA_PORTS_TCP=""
declare -x AMANDA_PORTS_UDP=""
declare -x AMANDA_SERVER="17-1-hardened-j4-20220428-110924"
declare -x AMANDA_SERVER_INDEX="17-1-hardened-j4-20220428-110924"
declare -x AMANDA_SERVER_TAPE="17-1-hardened-j4-20220428-110924"
declare -x AMANDA_SERVER_TAPE_DEVICE="/dev/nst0"
declare -x AMANDA_TAR="/bin/tar"
declare -x AMANDA_TAR_LISTDIR="/var/spool/amanda/tar-lists"
declare -x AMANDA_TMPDIR="/var/tmp/amanda"
declare -x AMANDA_USER_HOMEDIR="/var/spool/amanda"
declare -x AMANDA_USER_NAME="amanda"
declare -x ANT_HOME="/usr/share/ant"
declare -x APACHE2_MODULES=""
declare -x APACHE2_MPMS=""
declare -x ARCH="amd64"
declare BDEPEND="dev-ml/dune-configurator dev-ml/dune dev-lang/ocaml"
declare -x BOOTSTRAP_USE="unicode internal-glib pkg-config split-usr xml python_targets_python3_9 multilib hardened pic xtpax -jit -orc"
declare -x CALLIGRA_FEATURES=""
declare -x CAMERAS=""
declare -x CARGO_TERM_COLOR="never"
declare -x CATKIN_PREFIX_PATH="/usr"
declare -x CBUILD="x86_64-pc-linux-gnu"
declare -x CCL_DEFAULT_DIRECTORY="/usr/lib64/clozurecl"
declare -x CFLAGS="-pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS"
declare -x CFLAGS_amd64="-m64"
declare -x CFLAGS_x32="-mx32"
declare -x CFLAGS_x86="-m32"
declare -x CHOST="x86_64-pc-linux-gnu"
declare -x CHOST_amd64="x86_64-pc-linux-gnu"
declare -x CHOST_x32="x86_64-pc-linux-gnux32"
declare -x CHOST_x86="i686-pc-linux-gnu"
declare -x COLLECTD_PLUGINS=""
declare -x CPU_FLAGS_ARM=""
declare -x CPU_FLAGS_PPC=""
declare -x CPU_FLAGS_X86=""
declare -x CURL_SSL=""
declare -x CXXFLAGS="-pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS"
declare -x DEFAULT_ABI="amd64"
declare -x DEFINED_PHASES=" compile configure install prepare test"
declare DEPEND="
	>=dev-lang/ocaml-4.09.0:=[ocamlopt=]
	>=sci-mathematics/psmt2-frontend-0.4.0:=

	>=dev-ml/cmdliner-1.1.0:=
	>=dev-ml/menhir-20181006:=
	>=dev-ml/ocplib-simplex-0.4:=
	dev-ml/camlzip:=
	dev-ml/num:=
	dev-ml/seq:=
	dev-ml/stdlib-shims:=
	dev-ml/zarith:=
 >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:="
declare DESCRIPTION="Automatic theorem prover"
declare -x DIALIGN2_DIR="/usr/share/dialign2"
declare -x DIROPTIONS="-m0755"
declare -x DOTNET_ROOT="/opt/dotnet-sdk-bin-6.0"
declare -x DSM_CONFIG="/etc/tivoli/dsm.opt"
declare -x DSM_DIR="/opt/tivoli/tsm/client/ba/bin"
declare -x DSM_LOG="/var/log/tsm"
declare -- DUNE_PKG_NAME="alt-ergo"
declare -x EAPI="8"
declare -x EGO_BUILD_FLAGS="-p 4"
declare -x ELIBC="glibc"
declare -x EMBOSS_ACDROOT="/usr/share/EMBOSS/acd"
declare -x EMBOSS_DATA="/usr/share/EMBOSS/data"
declare -x ENV_UNSET="CARGO_HOME DBUS_SESSION_BUS_ADDRESS DISPLAY GOBIN GOPATH PERL5LIB PERL5OPT PERLPREFIX PERL_CORE PERL_MB_OPT PERL_MM_OPT XAUTHORITY XDG_CACHE_HOME XDG_CONFIG_HOME XDG_DATA_HOME XDG_RUNTIME_DIR"
declare -- EPOCHREALTIME="1651587410.387607"
declare -- EPOCHSECONDS="1651587410"
declare -x EXEOPTIONS="-m0755"
declare -x FCFLAGS="-pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS"
declare -x FETCHCOMMAND_SSH="bash -c \"x=\\\${2#ssh://} ; host=\\\${x%%/*} ; port=\\\${host##*:} ; host=\\\${host%:*} ; [[ \\\${host} = \\\${port} ]] && port= ; exec rsync --rsh=\\\"ssh \\\${port:+-p\\\${port}} \\\${3}\\\" -avP \\\"\\\${host}:/\\\${x#*/}\\\" \\\"\\\$1\\\"\" rsync \"\${DISTDIR}/\${FILE}\" \"\${URI}\" \"\${PORTAGE_SSH_OPTS}\""
declare -x FFLAGS="-pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS"
declare -x FFTOOLS=""
declare -x G4ABLADATA="/usr/share/geant4/data/G4ABLA3.1"
declare -x G4ENSDFSTATEDATA="/usr/share/geant4/data/G4ENSDFSTATE2.3"
declare -x G4INCLDATA="/usr/share/geant4/data/G4INCL1.0"
declare -x G4LEDATA="/usr/share/geant4/data/G4EMLOW8.0"
declare -x G4LEVELGAMMADATA="/usr/share/geant4/data/PhotonEvaporation5.7"
declare -x G4NEUTRONHPDATA="/usr/share/geant4/data/G4NDL4.6"
declare -x G4PARTICLEHPDATA="/usr/share/geant4/data/G4TENDL1.4"
declare -x G4PARTICLEXSDATA="/usr/share/geant4/data/G4PARTICLEXS4.0"
declare -x G4PIIDATA="/usr/share/geant4/data/G4PII1.3"
declare -x G4RADIOACTIVEDATA="/usr/share/geant4/data/RadioactiveDecay5.6"
declare -x G4REALSURFACEDATA="/usr/share/geant4/data/RealSurface2.2"
declare -x G4SAIDXSDATA="/usr/share/geant4/data/G4SAIDDATA2.0"
declare -x GCC_COLORS=""
declare -x GCC_SPECS=""
declare -x GIT_PAGER="cat"
declare -x GO19CONCURRENTCOMPILATION="0"
declare -x GOMAXPROCS="4"
declare -x GPSD_PROTOCOLS=""
declare -x GRUB_PLATFORMS=""
declare -x GSETTINGS_BACKEND="dconf"
declare -- H="4e082218efe6e0e2315331580bbd08306c1f8a2d"
declare HOMEPAGE="https://alt-ergo.ocamlpro.com"
declare IDEPEND
declare -x INHERITED=" multiprocessing dune"
declare -x INPUT_DEVICES=""
declare -x INSOPTIONS="-m0644"
declare IUSE="examples +ocamlopt "
declare -x IUSE_EFFECTIVE="abi_x86_64 alpha amd64 amd64-linux arm arm64 arm64-macos elibc_Cygwin elibc_Darwin elibc_SunOS elibc_Winnt elibc_bionic elibc_glibc elibc_mingw elibc_musl examples hppa ia64 kernel_Darwin kernel_SunOS kernel_Winnt kernel_linux loong m68k mips ocamlopt ppc ppc-macos ppc64 ppc64-linux prefix prefix-guest prefix-stack riscv s390 sparc sparc-solaris sparc64-solaris userland_BSD userland_GNU x64-cygwin x64-macos x64-solaris x64-winnt x86 x86-linux x86-solaris x86-winnt"
declare -x IUSE_IMPLICIT="abi_x86_64 prefix prefix-guest prefix-stack"
declare -x JAVAC="/etc/java-config-2/current-system-vm/bin/javac"
declare -x JAVACC_HOME="/usr/share/javacc/"
declare -x JAVA_HOME="/etc/java-config-2/current-system-vm"
declare -x JDK_HOME="/etc/java-config-2/current-system-vm"
declare -x KERNEL="linux"
declare -x KEYWORDS="~amd64"
declare -x L10N=""
declare -x LADSPA_PATH="/usr/lib64/ladspa"
declare -x LANG="C.UTF8"
declare -x LCD_DEVICES=""
declare -x LC_COLLATE="C"
declare -x LC_MESSAGES="C"
declare -x LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0"
declare -x LDFLAGS_amd64="-m elf_x86_64"
declare -x LDFLAGS_x32="-m elf32_x86_64"
declare -x LDFLAGS_x86="-m elf_i386"
declare -x LIBDIR_amd64="lib64"
declare -x LIBDIR_x32="libx32"
declare -x LIBDIR_x86="lib"
declare -x LIBOPTIONS="-m0644"
declare -x LIBREOFFICE_EXTENSIONS=""
declare -x LICENSE="CeCILL-C"
declare -x LLVM_TARGETS=""
declare -x LUA_SINGLE_TARGET=""
declare -x LUA_TARGETS=""
declare -x LV2_PATH="/usr/lib64/lv2"
declare -x MAILTO="tinderbox"
declare -x MAKEOPTS="-j4"
declare -x MANPAGER="manpager"
declare -x MONKEYD_PLUGINS=""
declare -x MOZ_GMP_PATH="/usr/lib64/nsbrowser/plugins/gmp-gmpopenh264/system-installed"
declare -x MULTILIB_ABIS="amd64 x86"
declare -x MULTILIB_STRICT_DENY="64-bit.*shared object"
declare -x MULTILIB_STRICT_DIRS="/lib32 /lib /usr/lib32 /usr/lib /usr/kde/*/lib32 /usr/kde/*/lib /usr/qt/*/lib32 /usr/qt/*/lib /usr/X11R6/lib32 /usr/X11R6/lib"
declare -x MULTILIB_STRICT_EXEMPT="(perl5|gcc|binutils|eclipse-3|debug|portage|udev|systemd|clang|python-exec|llvm)"
declare -x NGINX_MODULES_HTTP=""
declare -x NGINX_MODULES_MAIL=""
declare -x NGINX_MODULES_STREAM=""
declare -x OCAML_COLOR="never"
declare -x OFED_DRIVERS=""
declare -x OFFICE_IMPLEMENTATION=""
declare -x OMP_DYNAMIC="FALSE"
declare -x OMP_NESTED="FALSE"
declare -x OMP_NUM_THREADS="4"
declare -x OPENMPI_FABRICS=""
declare -x OPENMPI_OFED_FEATURES=""
declare -x OPENMPI_RM=""
declare -x ORACLE_HOME="/usr/lib64/oracle/client"
declare -x PATH="/usr/lib/portage/python3.9/ebuild-helpers/xattr:/usr/lib/portage/python3.9/ebuild-helpers:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/bin:/usr/lib/llvm/14/bin:/usr/lib/llvm/13/bin"
declare -x PAX_MARKINGS="none"
declare PDEPEND=""
declare -x PHP_TARGETS=""
declare -x PKGSYSTEM_ENABLE_FSYNC="0"
declare -x PORTAGE_COMPRESSION_COMMAND="zstd"
declare -a PORTAGE_DOCOMPRESS=([0]="/usr/share/doc" [1]="/usr/share/info" [2]="/usr/share/man")
declare -x PORTAGE_DOCOMPRESS_SIZE_LIMIT="128"
declare -a PORTAGE_DOCOMPRESS_SKIP=([0]="/usr/share/doc/alt-ergo-2.4.1_p20220407/html")
declare -a PORTAGE_DOSTRIP=([0]="/")
declare -a PORTAGE_DOSTRIP_SKIP=()
declare -x PORTAGE_TMPFS="/dev/shm"
declare -x PORT_LOGDIR="/var/log/portage"
declare -x POSTGRES_TARGETS=""
declare -x PROFILE_IS_HARDENED="1"
declare -x PROFILE_ONLY_VARIABLES="ARCH ELIBC IUSE_IMPLICIT KERNEL USERLAND USE_EXPAND_IMPLICIT USE_EXPAND_UNPREFIXED USE_EXPAND_VALUES_ARCH USE_EXPAND_VALUES_ELIBC USE_EXPAND_VALUES_KERNEL USE_EXPAND_VALUES_USERLAND"
declare -- PROPERTIES=""
declare -x PYTEST_ADDOPTS="--color=no"
declare -x PYTHIA8DATA="/usr/share/pythia8/xmldoc"
declare -x PYTHONDOCS_3_10="/usr/share/doc/python-docs-3.10.4/html/library"
declare -x PYTHONDONTWRITEBYTECODE="1"
declare -x PYTHON_SINGLE_TARGET=""
declare -x PYTHON_TARGETS=""
declare -x PY_FORCE_COLOR="0"
declare -- QA_FLAGS_IGNORED=".*"
declare -x QEMU_SOFTMMU_TARGETS=""
declare -x QEMU_USER_TARGETS=""
declare -x QUEX_PATH="/usr/share"
declare RDEPEND="
	>=dev-lang/ocaml-4.09.0:=[ocamlopt=]
	>=sci-mathematics/psmt2-frontend-0.4.0:=

	>=dev-ml/cmdliner-1.1.0:=
	>=dev-ml/menhir-20181006:=
	>=dev-ml/ocplib-simplex-0.4:=
	dev-ml/camlzip:=
	dev-ml/num:=
	dev-ml/seq:=
	dev-ml/stdlib-shims:=
	dev-ml/zarith:=
 >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:="
declare REPOSITORY
declare REQUIRED_USE=""
declare RESTRICT=""
declare -x RESUMECOMMAND_SSH="bash -c \"x=\\\${2#ssh://} ; host=\\\${x%%/*} ; port=\\\${host##*:} ; host=\\\${host%:*} ; [[ \\\${host} = \\\${port} ]] && port= ; exec rsync --rsh=\\\"ssh \\\${port:+-p\\\${port}} \\\${3}\\\" -avP \\\"\\\${host}:/\\\${x#*/}\\\" \\\"\\\$1\\\"\" rsync \"\${DISTDIR}/\${FILE}\" \"\${URI}\" \"\${PORTAGE_SSH_OPTS}\""
declare -x ROS_DISTRO="Gentoo"
declare -x ROS_MASTER_URI="http://localhost:11311/"
declare -x ROS_MESSAGES=""
declare -x ROS_PACKAGE_PATH="/usr/share/ros_packages"
declare -x ROS_ROOT="/usr/share/ros"
declare -x RUBY_TARGETS=""
declare -x RUSTFLAGS="-Ctarget-cpu=native -v"
declare -x RUST_TEST_TASKS="4"
declare -x RUST_TEST_THREADS="4"
declare -x S="/var/tmp/portage/sci-mathematics/alt-ergo-2.4.1_p20220407/work/alt-ergo-4e082218efe6e0e2315331580bbd08306c1f8a2d"
declare -x SANDBOX_DEBUG="0"
declare -x SANDBOX_DENY=""
declare -x SANDBOX_METHOD="any"
declare -x SANDBOX_PREDICT="/var/tmp/portage/sci-mathematics/alt-ergo-2.4.1_p20220407/homedir:/dev/crypto:/var/cache/man:/dev/random:/proc/self/coredump_filter:/dev/random:/proc/self/coredump_filter:/var/cache/fontconfig:/dev/nvidiactl:/dev/nvidia-uvm:/dev/ati/card:/dev/dri/card:/dev/dri/card0:/dev/dri/renderD128"
declare -x SANDBOX_READ="/:/var/tmp/portage"
declare -x SANDBOX_VERBOSE="1"
declare -x SANDBOX_WRITE=":/dev/console:/dev/fd:/dev/full:/dev/null:/dev/ptmx:/dev/pts/:/dev/pty:/dev/shm:/dev/tts:/dev/tty:/dev/vc/:/dev/zero:/proc/self/fd:/run/firejail:/tmp/:/usr/lib/cf:/usr/lib/conftest:/usr/lib32/cf:/usr/lib32/conftest:/usr/lib64/cf:/usr/lib64/conftest:/usr/tmp/:/usr/tmp/cf:/usr/tmp/conftest:/var/tmp/:/var/tmp/portage:/var/tmp/portage/sci-mathematics/alt-ergo-2.4.1_p20220407/homedir/.bash_history"
declare -x SANE_BACKENDS=""
declare -x SBCL_HOME="/usr/lib64/sbcl"
declare -x SBCL_SOURCE_ROOT="/usr/lib64/sbcl/src"
declare -x SCHEME_LIBRARY_PATH="/usr/share/slib/"
declare -x SHELL="/bin/bash"
declare -x SLOT="0/2.4.1_p20220407"
declare -x SPARK_HOME="/usr/lib/spark-3"
declare -i SRANDOM="772086613"
declare SRC_URI="https://github.com/OCamlPro/alt-ergo/archive/4e082218efe6e0e2315331580bbd08306c1f8a2d.tar.gz -> alt-ergo-2.4.1_p20220407.tar.gz"
declare -x SVDIR="/etc/service/"
declare -x SYMLINK_LIB="no"
declare -x TASKDDATA="/var/lib/taskd"
declare -x TERMINFO="/etc/terminfo"
declare -x TMAKEPATH="/usr/lib/tmake/linux-g++"
declare -x TNS_ADMIN="/etc/oracle/"
declare -x TWISTED_DISABLE_WRITING_OF_PLUGIN_CACHE="1"
declare -x USE="abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt userland_GNU"
declare -x USERLAND="GNU"
declare -x USE_EXPAND_IMPLICIT="ARCH ELIBC KERNEL USERLAND"
declare -x USE_EXPAND_UNPREFIXED="ARCH"
declare -x USE_EXPAND_VALUES_ARCH="alpha amd64 amd64-linux arm arm64 arm64-macos hppa ia64 loong m68k mips ppc ppc64 ppc64-linux ppc-macos riscv s390 sparc sparc64-solaris sparc-solaris x64-cygwin x64-macos x64-solaris x64-winnt x86 x86-linux x86-solaris x86-winnt"
declare -x USE_EXPAND_VALUES_ELIBC="bionic Cygwin Darwin glibc mingw musl SunOS Winnt"
declare -x USE_EXPAND_VALUES_KERNEL="Darwin linux SunOS Winnt"
declare -x USE_EXPAND_VALUES_USERLAND="BSD GNU"
declare -x UWSGI_PLUGINS=""
declare -x VBOX_APP_HOME="/usr/lib64/virtualbox"
declare -x VIDEO_CARDS=""
declare -x VOICEMAIL_STORAGE=""
declare -x XEHELPURL="/usr/share/doc/xephem-4.1.0/html/xephem.html"
declare -x XERCESC_NLS_HOME="/usr/share/xerces-c/msg"
declare -x XTABLES_ADDONS=""
declare -x _E_DESTTREE_="/usr"
declare -x _E_DOCDESTTREE_=""
declare -x _E_EXEDESTTREE_=""
declare -x _E_INSDESTTREE_=""
declare -- _MULTIPROCESSING_ECLASS="1"
declare -x enable_year2038="no"
SwitchGCC () 
{ 
    local highest=$(gcc-config --list-profiles --nocolor | cut -f3 -d' ' -s | grep -E 'x86_64-(pc|gentoo)-linux-(gnu|musl)-.*[0-9]$'| tail -n 1);
    if ! gcc-config --list-profiles --nocolor | grep -q -F "$highest *"; then
        local current=$(gcc -dumpversion);
        echo "$FUNCNAME: major version change detected, switch from $current to $highest" | tee -a $taskfile.history;
        gcc-config --nocolor $highest;
        source_profile;
        add2backlog "@preserved-rebuild";
        if grep -q '^LIBTOOL="rdlibtool"' /etc/portage/make.conf; then
            add2backlog "sys-devel/slibtool";
        fi;
        add2backlog "sys-devel/libtool";
        add2backlog "%emerge --unmerge sys-devel/gcc:$(cut -f1 -d'.' <<< $current)";
    fi
}
declare -fx SwitchGCC
__eapi6_src_install () 
{ 
    if [[ -f Makefile || -f GNUmakefile || -f makefile ]]; then
        emake DESTDIR="${D}" install;
    fi;
    einstalldocs
}
__eapi6_src_prepare () 
{ 
    if ___is_indexed_array_var PATCHES; then
        [[ ${#PATCHES[@]} -gt 0 ]] && eapply "${PATCHES[@]}";
    else
        if [[ -n ${PATCHES} ]]; then
            eapply ${PATCHES};
        fi;
    fi;
    eapply_user
}
__eapi7_ver_compare () 
{ 
    local va=${1} vb=${2} a an al as ar b bn bl bs br re LC_ALL=C;
    re="^([0-9]+(\.[0-9]+)*)([a-z]?)((_(alpha|beta|pre|rc|p)[0-9]*)*)(-r[0-9]+)?$";
    [[ ${va} =~ ${re} ]] || die "${FUNCNAME}: invalid version: ${va}";
    an=${BASH_REMATCH[1]};
    al=${BASH_REMATCH[3]};
    as=${BASH_REMATCH[4]};
    ar=${BASH_REMATCH[7]};
    [[ ${vb} =~ ${re} ]] || die "${FUNCNAME}: invalid version: ${vb}";
    bn=${BASH_REMATCH[1]};
    bl=${BASH_REMATCH[3]};
    bs=${BASH_REMATCH[4]};
    br=${BASH_REMATCH[7]};
    __eapi7_ver_compare_int "${an%%.*}" "${bn%%.*}" || return;
    while [[ ${an} == *.* && ${bn} == *.* ]]; do
        an=${an#*.};
        bn=${bn#*.};
        a=${an%%.*};
        b=${bn%%.*};
        if [[ ${a} == 0* || ${b} == 0* ]]; then
            [[ ${a} =~ 0+$ ]] && a=${a%"${BASH_REMATCH[0]}"};
            [[ ${b} =~ 0+$ ]] && b=${b%"${BASH_REMATCH[0]}"};
            [[ ${a} > ${b} ]] && return 3;
            [[ ${a} < ${b} ]] && return 1;
        else
            __eapi7_ver_compare_int "${a}" "${b}" || return;
        fi;
    done;
    [[ ${an} == *.* ]] && return 3;
    [[ ${bn} == *.* ]] && return 1;
    [[ ${al} > ${bl} ]] && return 3;
    [[ ${al} < ${bl} ]] && return 1;
    as=${as#_}${as:+_};
    bs=${bs#_}${bs:+_};
    while [[ -n ${as} && -n ${bs} ]]; do
        a=${as%%_*};
        b=${bs%%_*};
        if [[ ${a%%[0-9]*} == "${b%%[0-9]*}" ]]; then
            __eapi7_ver_compare_int "${a##*[a-z]}" "${b##*[a-z]}" || return;
        else
            [[ ${a%%[0-9]*} == p ]] && return 3;
            [[ ${b%%[0-9]*} == p ]] && return 1;
            [[ ${a} > ${b} ]] && return 3 || return 1;
        fi;
        as=${as#*_};
        bs=${bs#*_};
    done;
    if [[ -n ${as} ]]; then
        [[ ${as} == p[_0-9]* ]] && return 3 || return 1;
    else
        if [[ -n ${bs} ]]; then
            [[ ${bs} == p[_0-9]* ]] && return 1 || return 3;
        fi;
    fi;
    __eapi7_ver_compare_int "${ar#-r}" "${br#-r}" || return;
    return 2
}
__eapi7_ver_compare_int () 
{ 
    local a=$1 b=$2 d=$(( ${#1}-${#2} ));
    if [[ ${d} -gt 0 ]]; then
        printf -v b "%0${d}d%s" 0 "${b}";
    else
        if [[ ${d} -lt 0 ]]; then
            printf -v a "%0$(( -d ))d%s" 0 "${a}";
        fi;
    fi;
    [[ ${a} > ${b} ]] && return 3;
    [[ ${a} == "${b}" ]]
}
__eapi7_ver_parse_range () 
{ 
    local range=${1};
    local max=${2};
    [[ ${range} == [0-9]* ]] || die "${FUNCNAME}: range must start with a number";
    start=${range%-*};
    [[ ${range} == *-* ]] && end=${range#*-} || end=${start};
    if [[ -n ${end} ]]; then
        [[ ${start} -le ${end} ]] || die "${FUNCNAME}: end of range must be >= start";
        [[ ${end} -le ${max} ]] || end=${max};
    else
        end=${max};
    fi
}
__eapi7_ver_split () 
{ 
    local v=${1} LC_ALL=C;
    comp=();
    local s c;
    while [[ -n ${v} ]]; do
        s=${v%%[a-zA-Z0-9]*};
        v=${v:${#s}};
        [[ ${v} == [0-9]* ]] && c=${v%%[^0-9]*} || c=${v%%[^a-zA-Z]*};
        v=${v:${#c}};
        comp+=("${s}" "${c}");
    done
}
__eapi8_src_prepare () 
{ 
    local f;
    if ___is_indexed_array_var PATCHES; then
        [[ ${#PATCHES[@]} -gt 0 ]] && eapply -- "${PATCHES[@]}";
    else
        if [[ -n ${PATCHES} ]]; then
            eapply -- ${PATCHES};
        fi;
    fi;
    eapply_user
}
add2backlog () 
{ 
    if [[ "$(tail -n 1 /var/tmp/tb/backlog.1st)" != "$1" ]]; then
        echo "$1" >> /var/tmp/tb/backlog.1st;
    fi
}
declare -fx add2backlog
dune-install () 
{ 
    local -a pkgs=("${@}");
    [[ ${#pkgs[@]} -eq 0 ]] && pkgs=("${DUNE_PKG_NAME}");
    local -a myduneopts=(--prefix="${ED%/}/usr" --libdir="${D%/}$(ocamlc -where)" --mandir="${ED%/}/usr/share/man");
    local pkg;
    for pkg in "${pkgs[@]}";
    do
        ebegin "Installing ${pkg}";
        dune install ${myduneopts[@]} ${pkg};
        eend $? || die;
        if [ -d "${ED%/}/usr/doc/${pkg}" ]; then
            mkdir -p "${ED%/}/usr/share/doc/${PF}/" || die;
            mv "${ED%/}/usr/doc/${pkg}" "${ED%/}/usr/share/doc/${PF}/" || die;
            rm -rf "${ED%/}/usr/doc" || die;
        fi;
    done
}
dune_src_compile () 
{ 
    ebegin "Building";
    dune build @install -j $(makeopts_jobs) --profile release;
    eend $? || die
}
dune_src_install () 
{ 
    dune-install ${1:-${DUNE_PKG_NAME}}
}
dune_src_test () 
{ 
    ebegin "Testing";
    dune runtest -j $(makeopts_jobs) --profile release;
    eend $? || die
}
eapply () 
{ 
    local failed patch_cmd=patch;
    local -x LC_COLLATE=POSIX;
    type -P gpatch > /dev/null && patch_cmd=gpatch;
    function _eapply_patch () 
    { 
        local f=${1};
        local prefix=${2};
        ebegin "${prefix:-Applying }${f##*/}";
        local all_opts=(-p1 -f -g0 --no-backup-if-mismatch "${patch_options[@]}");
        if ${patch_cmd} "${all_opts[@]}" --dry-run -s -F0 < "${f}" &> /dev/null; then
            all_opts+=(-s -F0);
        fi;
        ${patch_cmd} "${all_opts[@]}" < "${f}";
        failed=${?};
        if ! eend "${failed}"; then
            __helpers_die "patch -p1 ${patch_options[*]} failed with ${f}";
        fi
    };
    local patch_options=() files=();
    local i found_doublehyphen;
    for ((i = 1; i <= ${#@}; ++i ))
    do
        if [[ ${@:i:1} == -- ]]; then
            patch_options=("${@:1:i-1}");
            files=("${@:i+1}");
            found_doublehyphen=1;
            break;
        fi;
    done;
    if [[ -z ${found_doublehyphen} ]]; then
        for ((i = 1; i <= ${#@}; ++i ))
        do
            if [[ ${@:i:1} != -* ]]; then
                patch_options=("${@:1:i-1}");
                files=("${@:i}");
                break;
            fi;
        done;
        for i in "${files[@]}";
        do
            if [[ ${i} == -* ]]; then
                die "eapply: all options must be passed before non-options";
            fi;
        done;
    fi;
    if [[ ${#files[@]} -eq 0 ]]; then
        die "eapply: no files specified";
    fi;
    local f;
    for f in "${files[@]}";
    do
        if [[ -d ${f} ]]; then
            function _eapply_get_files () 
            { 
                local LC_ALL=POSIX;
                local prev_shopt=$(shopt -p nullglob);
                shopt -s nullglob;
                local f;
                for f in "${1}"/*;
                do
                    if [[ ${f} == *.diff || ${f} == *.patch ]]; then
                        files+=("${f}");
                    fi;
                done;
                ${prev_shopt}
            };
            local files=();
            _eapply_get_files "${f}";
            [[ ${#files[@]} -eq 0 ]] && die "No *.{patch,diff} files in directory ${f}";
            einfo "Applying patches from ${f} ...";
            local f2;
            for f2 in "${files[@]}";
            do
                _eapply_patch "${f2}" '  ';
                [[ ${failed} -ne 0 ]] && return "${failed}";
            done;
        else
            _eapply_patch "${f}";
            [[ ${failed} -ne 0 ]] && return "${failed}";
        fi;
    done;
    return 0
}
eapply_user () 
{ 
    [[ ${EBUILD_PHASE} == prepare ]] || die "eapply_user() called during invalid phase: ${EBUILD_PHASE}";
    local tagfile=${T}/.portage_user_patches_applied;
    [[ -f ${tagfile} ]] && return;
     >> "${tagfile}";
    local basedir=${PORTAGE_CONFIGROOT%/}/etc/portage/patches;
    local columns=${COLUMNS:-0};
    [[ ${columns} == 0 ]] && columns=$(set -- $( ( stty size </dev/tty ) 2>/dev/null || echo 24 80 ) ; echo $2);
    (( columns > 0 )) || (( columns = 80 ));
    local applied d f;
    local -A _eapply_user_patches;
    local prev_shopt=$(shopt -p nullglob);
    shopt -s nullglob;
    for d in "${basedir}"/${CATEGORY}/{${P}-${PR},${P},${PN}}{:${SLOT%/*},};
    do
        for f in "${d}"/*;
        do
            if [[ ( ${f} == *.diff || ${f} == *.patch ) && -z ${_eapply_user_patches[${f##*/}]} ]]; then
                _eapply_user_patches[${f##*/}]=${f};
            fi;
        done;
    done;
    if [[ ${#_eapply_user_patches[@]} -gt 0 ]]; then
        while read -r -d '' f; do
            f=${_eapply_user_patches[${f}]};
            if [[ -s ${f} ]]; then
                if [[ -z ${applied} ]]; then
                    einfo "${PORTAGE_COLOR_INFO}$(for ((column = 0; column < ${columns} - 3; column++)); do echo -n =; done)${PORTAGE_COLOR_NORMAL}";
                    einfo "Applying user patches from ${basedir} ...";
                fi;
                eapply "${f}";
                applied=1;
            fi;
        done < <(printf -- '%s\0' "${!_eapply_user_patches[@]}" |
				LC_ALL=C sort -z);
    fi;
    ${prev_shopt};
    if [[ -n ${applied} ]]; then
        einfo "User patches applied.";
        einfo "${PORTAGE_COLOR_INFO}$(for ((column = 0; column < ${columns} - 3; column++)); do echo -n =; done)${PORTAGE_COLOR_NORMAL}";
    fi
}
einstalldocs () 
{ 
    ( if [[ $(declare -p DOCS 2>/dev/null) != *=* ]]; then
        local d;
        for d in README* ChangeLog AUTHORS NEWS TODO CHANGES THANKS BUGS FAQ CREDITS CHANGELOG;
        do
            [[ -f ${d} && -s ${d} ]] && docinto / && dodoc "${d}";
        done;
    else
        if ___is_indexed_array_var DOCS; then
            [[ ${#DOCS[@]} -gt 0 ]] && docinto / && dodoc -r "${DOCS[@]}";
        else
            [[ -n ${DOCS} ]] && docinto / && dodoc -r ${DOCS};
        fi;
    fi );
    ( if ___is_indexed_array_var HTML_DOCS; then
        [[ ${#HTML_DOCS[@]} -gt 0 ]] && docinto html && dodoc -r "${HTML_DOCS[@]}";
    else
        [[ -n ${HTML_DOCS} ]] && docinto html && dodoc -r ${HTML_DOCS};
    fi )
}
get_libdir () 
{ 
    local libdir_var="LIBDIR_${ABI}";
    local libdir="lib";
    [[ -n ${ABI} && -n ${!libdir_var} ]] && libdir=${!libdir_var};
    echo "${libdir}"
}
get_nproc () 
{ 
    local nproc;
    if type -P nproc &> /dev/null; then
        nproc=$(nproc);
    fi;
    if [[ -z ${nproc} ]] && type -P sysctl &> /dev/null; then
        nproc=$(sysctl -n hw.ncpu 2>/dev/null);
    fi;
    if [[ -z ${nproc} ]] && type -P python &> /dev/null; then
        nproc=$(python -c 'import multiprocessing; print(multiprocessing.cpu_count());' 2>/dev/null);
    fi;
    if [[ -n ${nproc} ]]; then
        echo "${nproc}";
    else
        echo "${1:-1}";
    fi
}
in_iuse () 
{ 
    local use=${1};
    if [[ -z "${use}" ]]; then
        echo "!!! in_iuse() called without a parameter." 1>&2;
        echo "!!! in_iuse <USEFLAG>" 1>&2;
        die "in_iuse() called without a parameter";
    fi;
    local liuse=(${IUSE_EFFECTIVE});
    has "${use}" "${liuse[@]#[+-]}"
}
makeopts_jobs () 
{ 
    [[ $# -eq 0 ]] && set -- "${MAKEOPTS}";
    local jobs=$(echo " $* " | sed -r -n 		-e 's:.*[[:space:]](-[a-z]*j|--jobs[=[:space:]])[[:space:]]*([0-9]+).*:\2:p' 		-e "s:.*[[:space:]](-[a-z]*j|--jobs)[[:space:]].*:${2:-$(( $(get_nproc) + 1 ))}:p");
    echo ${jobs:-1}
}
makeopts_loadavg () 
{ 
    [[ $# -eq 0 ]] && set -- "${MAKEOPTS}";
    local lavg=$(echo " $* " | sed -r -n 		-e 's:.*[[:space:]](-[a-z]*l|--(load-average|max-load)[=[:space:]])[[:space:]]*([0-9]+(\.[0-9]+)?)[[:space:]].*:\3:p' 		-e "s:.*[[:space:]](-[a-z]*l|--(load-average|max-load))[[:space:]].*:${2:-999}:p");
    echo ${lavg:-${2:-999}}
}
pkg_nofetch () 
{ 
    default
}
source_profile () 
{ 
    set +u;
    source /etc/profile 2> /dev/null;
    set -u
}
declare -fx source_profile
src_compile () 
{ 
    dune_src_compile "$@"
}
src_configure () 
{ 
    sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die
}
src_install () 
{ 
    dune-install alt-ergo-lib alt-ergo-parsers alt-ergo;
    use examples && dodoc -r examples
}
src_prepare () 
{ 
    default;
    rm -r src/bin/gui || die
}
src_test () 
{ 
    dune_src_test "$@"
}
src_unpack () 
{ 
    default
}
syncRepo () 
{ 
    local synclog=/var/tmp/tb/sync.log;
    cd /var/db/repos/gentoo;
    if ! emaint sync --auto &> $synclog; then
        Mail "WARN: sync failed for ::gentoo" $synclog;
        if grep -q -e 'git fetch error' -e ': Failed to connect to ' -e ': SSL connection timeout' -e ': Connection timed out'; then
            last_sync=$EPOCHSECONDS;
            return 1;
        fi;
        if ( echo -e "\nTrying to restore ...\n";
        git stash;
        git stash drop;
        git restore . ) &>> $synclog; then
            if ! emaint sync --auto &>> $synclog; then
                Finish 13 "still unfixed ::gentoo" $synclog;
            else
                Mail "INFO: fixed ::gentoo" $synclog;
            fi;
        else
            Finish 13 "cannot restore ::gentoo" $synclog;
        fi;
    fi;
    last_sync=$EPOCHSECONDS;
    if grep -q -F '* An update to portage is available.' $synclog; then
        add2backlog "sys-apps/portage";
    fi;
    if grep -B 1 '=== Sync completed for gentoo' $synclog | grep -q 'Already up to date.'; then
        return 0;
    fi;
    git diff --diff-filter="ACM" --name-only "@{ $(( EPOCHSECONDS-last_sync+3600 )) second ago }".."@{ 1 hour ago }" | grep -F -e '/files/' -e '.ebuild' -e 'Manifest' | cut -f1-2 -d'/' -s | grep -v -f /mnt/tb/data/IGNORE_PACKAGES | sort -u > /tmp/syncRepo.upd;
    if [[ -s /tmp/syncRepo.upd ]]; then
        sort -u /tmp/syncRepo.upd /var/tmp/tb/backlog.upd | shuf > /tmp/backlog.upd;
        cp /tmp/backlog.upd /var/tmp/tb/backlog.upd;
    fi
}
declare -fx syncRepo
ver_cut () 
{ 
    local range=${1};
    local v=${2:-${PV}};
    local start end;
    local -a comp;
    __eapi7_ver_split "${v}";
    local max=$((${#comp[@]}/2));
    __eapi7_ver_parse_range "${range}" "${max}";
    local IFS=;
    if [[ ${start} -gt 0 ]]; then
        start=$(( start*2 - 1 ));
    fi;
    echo "${comp[*]:start:end*2-start}"
}
ver_rs () 
{ 
    local v;
    (( ${#} & 1 )) && v=${@: -1} || v=${PV};
    local start end i;
    local -a comp;
    __eapi7_ver_split "${v}";
    local max=$((${#comp[@]}/2 - 1));
    while [[ ${#} -ge 2 ]]; do
        __eapi7_ver_parse_range "${1}" "${max}";
        for ((i = start*2; i <= end*2; i+=2 ))
        do
            [[ ${i} -eq 0 && -z ${comp[i]} ]] && continue;
            comp[i]=${2};
        done;
        shift 2;
    done;
    local IFS=;
    echo "${comp[*]}"
}
ver_test () 
{ 
    local va op vb;
    if [[ $# -eq 3 ]]; then
        va=${1};
        shift;
    else
        va=${PVR};
    fi;
    [[ $# -eq 2 ]] || die "${FUNCNAME}: bad number of arguments";
    op=${1};
    vb=${2};
    case ${op} in 
        -eq | -ne | -lt | -le | -gt | -ge)

        ;;
        *)
            die "${FUNCNAME}: invalid operator: ${op}"
        ;;
    esac;
    __eapi7_ver_compare "${va}" "${vb}";
    test $? "${op}" 2
}