declare -x ABI="amd64"
declare -x ABI_X86="64"
declare -x ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci"
declare -x APACHE2_MODULES="authn_core authz_core socache_shmcb unixd actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache cgi cgid dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias"
declare -x ARCH="amd64"
declare -x BOOTSTRAP_USE="cxx unicode internal-glib python_targets_python3_4 python_targets_python2_7 multilib hardened pax_kernel pic xtpax -jit -orc"
declare -- BYTECOMPFLAGS="-L ."
declare -x CALLIGRA_FEATURES="kexi words flow plan sheets stage tables krita karbon braindump author"
declare -x CAMERAS="ptp2"
declare -x CATKIN_PREFIX_PATH="/usr"
declare -x CBUILD="x86_64-pc-linux-gnu"
declare -x CFLAGS="-march=native -O2 -pipe"
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="df interface irq load memory rrdtool swap syslog"
declare -x CONF_PREFIX="/usr"
declare -x CPU_FLAGS_X86="aes avx mmx mmxext popcnt sse sse2 sse3 sse4_1 sse4_2 ssse3"
declare -x CXXFLAGS="-march=native -O2 -pipe"
declare -x DEFAULT_ABI="amd64"
declare -x DEFINED_PHASES=" compile configure install postinst postrm prepare test"
declare DEPEND="dev-libs/gmp:0=
		isabelle? (
			>=sci-mathematics/isabelle-2011.1-r1:=
		)
		doc? (
			app-doc/doxygen
			media-gfx/graphviz
		)
		emacs? (
			virtual/emacs
		) "
declare DESCRIPTION="CVC3 is a theorem prover for Satisfiability Modulo Theories (SMT) problems"
declare -x DESTTREE="/usr"
declare -x DIROPTIONS="-m0755"
declare -x EAPI="5"
declare -- ECONF_SOURCE="."
declare -x ELIBC="glibc"
declare -- EMACS="/usr/bin/emacs"
declare -- EMACSFLAGS="-batch -q --no-site-file"
declare -x EXEOPTIONS="-m0755"
declare -x FCFLAGS="-O2 -pipe"
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="-O2 -pipe"
declare -x FLTK_DOCDIR="/usr/share/doc/fltk-1.3.3-r4/html"
declare -x FRACTDIR="/usr/share/xfractint"
declare -x GCC_COLORS=""
declare -x GCC_SPECS=""
declare -x GEANT_DOC_DIR="/usr/share/doc/geant-docs-4.10.2"
declare -x GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf superstar2 timing tsip tripmate tnt ublox ubx"
declare -x GRUB_PLATFORMS=""
declare -x GUILE_LOAD_PATH="/usr/share/guile/2.0"
declare HDEPEND=""
declare HOMEPAGE="http://www.cs.nyu.edu/acsys/cvc3/index.html"
declare -x INHERITED=" elisp-common"
declare -x INPUT_DEVICES="keyboard mouse evdev"
declare -x INSDESTTREE=""
declare -x INSOPTIONS="-m0644"
declare IUSE="doc emacs isabelle test zchaff "
declare -x IUSE_EFFECTIVE="abi_x86_64 alpha amd64 amd64-fbsd amd64-linux arm arm-linux arm64 doc elibc_AIX elibc_Cygwin elibc_Darwin elibc_DragonFly elibc_FreeBSD elibc_HPUX elibc_Interix elibc_NetBSD elibc_OpenBSD elibc_SunOS elibc_Winnt elibc_bionic elibc_glibc elibc_mingw elibc_mintlib elibc_musl elibc_uclibc emacs hppa hppa-hpux ia64 ia64-hpux ia64-linux isabelle kernel_AIX kernel_Darwin kernel_FreeBSD kernel_HPUX kernel_Interix kernel_NetBSD kernel_OpenBSD kernel_SunOS kernel_Winnt kernel_freemint kernel_linux m68k m68k-mint mips nios2 ppc ppc-aix ppc-macos ppc-openbsd ppc64 ppc64-linux prefix prefix-guest riscv s390 sh sparc sparc-fbsd sparc-solaris sparc64-freebsd sparc64-solaris test userland_BSD userland_GNU x64-cygwin x64-freebsd x64-macos x64-openbsd x64-solaris x86 x86-cygwin x86-fbsd x86-freebsd x86-interix x86-linux x86-macos x86-netbsd x86-openbsd x86-solaris x86-winnt zchaff"
declare -x IUSE_IMPLICIT="abi_x86_64 prefix prefix-guest"
declare -x KERNEL="linux"
declare -x KEYWORDS="~amd64 ~x86"
declare -x L10N="ca chr en-US eo fr hy pl pt"
declare -x LADSPA_PATH="/usr/lib64/ladspa"
declare -x LANG="en_US.utf8"
declare -x LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text"
declare -x LC_MESSAGES="C"
declare -x LDFLAGS="-Wl,-O1 -Wl,--as-needed"
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_amd64_fbsd="lib64"
declare -x LIBDIR_arm="lib"
declare -x LIBDIR_arm64="lib64"
declare -x LIBDIR_n32="lib32"
declare -x LIBDIR_n64="lib64"
declare -x LIBDIR_o32="lib"
declare -x LIBDIR_ppc="lib32"
declare -x LIBDIR_ppc64="lib64"
declare -x LIBDIR_s390="lib32"
declare -x LIBDIR_s390x="lib64"
declare -x LIBDIR_sparc32="lib32"
declare -x LIBDIR_sparc64="lib64"
declare -x LIBDIR_x32="libx32"
declare -x LIBDIR_x86="lib32"
declare -x LIBDIR_x86_fbsd="lib32"
declare -x LIBOPTIONS="-m0644"
declare -x LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer"
declare -x LICENSE="BSD MIT HPND zchaff? ( zchaff )"
declare -x MAKEOPTS="-j1"
declare -x MANPAGER="manpager"
declare -x MULTILIB_ABIS="amd64"
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|gcc-lib|binutils|eclipse-3|debug|portage|udev|systemd|clang|python-exec)"
declare -x MULTIOSDIRS="../lib64"
declare -x NETBEANS="apisupport cnd groovy gsf harness ide identity j2ee java mobility nb php profiler soa visualweb webcommon websvccommon xml"
declare -x NINJAFLAGS="-j1"
declare -x OFFICE_IMPLEMENTATION="libreoffice"
declare -x OMNIORB_CONFIG="/etc/omniorb/omniORB.cfg"
declare -x OPENGL_PROFILE="xorg-x11"
declare -x PATH="/usr/lib/portage/python2.7/ebuild-helpers/xattr:/usr/lib/portage/python2.7/ebuild-helpers:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/bin:/usr/x86_64-pc-linux-gnu/gcc-bin/6.2.0:/usr/lib/plan9/bin:/opt/ekopath/bin"
declare -x PAX_MARKINGS="XT"
declare PDEPEND=""
declare -x PHP_TARGETS="php5-6"
declare -x PKG_CONFIG_PATH="/usr/lib64/pkgconfig"
declare -x PLAN9="/usr/lib/plan9"
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/cvc3-2.4.1/html")'
declare -x PRELINK_PATH_MASK="/usr/bin/bbkeys"
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 -x PROPERTIES=""
declare -x PROVIDE=""
declare -x PYTHONDOCS_3_5="/usr/share/doc/python-docs-3.5.2/html/library"
declare -x PYTHONDONTWRITEBYTECODE="1"
declare -x PYTHON_SINGLE_TARGET="python2_7"
declare -x PYTHON_TARGETS="python2_7 python3_4"
declare RDEPEND="dev-libs/gmp:0=
		isabelle? (
			>=sci-mathematics/isabelle-2011.1-r1:=
		) "
declare REPOSITORY
declare REQUIRED_USE=""
declare -x RESTRICT="mirror"
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_MASTER_URI="http://localhost:11311/"
declare -x ROS_PACKAGE_PATH="/usr/share"
declare -x ROS_ROOT="/usr/share/ros"
declare -x RUBY_TARGETS="ruby20 ruby21"
declare -x S="/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1"
declare -x SANDBOX_DEBUG="0"
declare -x SANDBOX_DENY=""
declare -x SANDBOX_PREDICT="/var/tmp/portage/sci-mathematics/cvc3-2.4.1/homedir:/dev/crypto:/var/cache/fontconfig"
declare -x SANDBOX_READ="/:/var/tmp"
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:/tmp/:/usr/lib32/cf:/usr/lib32/conftest:/usr/lib64/cf:/usr/lib64/conftest:/usr/lib/cf:/usr/lib/conftest:/usr/tmp/cf:/usr/tmp/conftest:/var/tmp:/var/tmp/:/var/tmp/portage/sci-mathematics/cvc3-2.4.1/homedir/.bash_history"
declare -x SBCL_HOME="/usr/lib64/sbcl"
declare -x SBCL_SOURCE_ROOT="/usr/lib64/sbcl/src"
declare -x SHELL="/bin/bash"
declare -- SITEETC="/usr/share/emacs/etc"
declare -- SITEFILE="50cvc3-gentoo.el"
declare -- SITELISP="/usr/share/emacs/site-lisp"
declare -x SLOT="0/2.4.1"
declare SRC_URI="http://www.cs.nyu.edu/acsys/cvc3/releases/2.4.1/cvc3-2.4.1.tar.gz"
declare -x SSL_BITS="4096"
declare -x SYMLINK_LIB="yes"
declare -x USE="abi_x86_64 amd64 elibc_glibc kernel_linux 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-fbsd amd64-linux arm arm-linux arm64 hppa hppa-hpux ia64 ia64-hpux ia64-linux m68k m68k-mint mips nios2 ppc ppc64 ppc64-linux ppc-aix ppc-macos ppc-openbsd riscv s390 sh sparc sparc64-freebsd sparc64-solaris sparc-fbsd sparc-solaris x64-cygwin x64-freebsd x64-macos x64-openbsd x64-solaris x86 x86-cygwin x86-fbsd x86-freebsd x86-interix x86-linux x86-macos x86-netbsd x86-openbsd x86-solaris x86-winnt"
declare -x USE_EXPAND_VALUES_ELIBC="AIX bionic Cygwin Darwin DragonFly FreeBSD glibc HPUX Interix mingw mintlib musl NetBSD OpenBSD SunOS uclibc Winnt"
declare -x USE_EXPAND_VALUES_KERNEL="AIX Darwin FreeBSD freemint HPUX Interix linux NetBSD OpenBSD SunOS Winnt"
declare -x USE_EXPAND_VALUES_USERLAND="BSD GNU"
declare -x VIDEO_CARDS="amdgpu fbdev intel nouveau radeon radeonsi vesa"
declare -x XDG_CACHE_HOME="/root/cache"
declare -x XDG_CONFIG_HOME="/root/config"
declare -x XDG_DATA_HOME="/root/share"
declare -x XDG_DESKTOP_DIR="/root/Desktop"
declare -x XDG_DOCUMENTS_DIR="/root/Documents"
declare -x XDG_DOWNLOAD_DIR="/root/Downloads"
declare -x XDG_MUSIC_DIR="/root/Music"
declare -x XDG_PICTURES_DIR="/root/Pictures"
declare -x XDG_PUBLICSHARE_DIR="/root/Public"
declare -x XDG_RUNTIME_DIR="/root/run"
declare -x XDG_TEMPLATES_DIR="/root/Templates"
declare -x XDG_VIDEOS_DIR="/root/Videos"
declare -x XERCESC_NLS_HOME="/usr/share/xerces-c/msg"
declare -x XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account"
declare -x _E_DOCDESTTREE_=""
declare -x _E_EXEDESTTREE_=""
declare -- phase_func
__eapi6_src_install () 
{ 
    if [[ -f Makefile || -f GNUmakefile || -f makefile ]]; then
        emake DESTDIR="${D}" install;
    fi;
    einstalldocs
}
__eapi6_src_prepare () 
{ 
    if [[ $(declare -p PATCHES 2>/dev/null) == "declare -a"* ]]; then
        [[ -n ${PATCHES[@]} ]] && eapply "${PATCHES[@]}";
    else
        if [[ -n ${PATCHES} ]]; then
            eapply ${PATCHES};
        fi;
    fi;
    eapply_user
}
elisp-compile () 
{ 
    ebegin "Compiling GNU Emacs Elisp files";
    ${EMACS} ${EMACSFLAGS} ${BYTECOMPFLAGS} -f batch-byte-compile "$@";
    eend $? "elisp-compile: batch-byte-compile failed" || die
}
elisp-emacs-version () 
{ 
    local version ret;
    echo "(princ emacs-version)" > "${T}"/emacs-version.el;
    version=$(
		# EMACS could be a microemacs variant that ignores the -batch
		# option and would therefore hang, waiting for user interaction.
		# Redirecting stdin and unsetting TERM and DISPLAY will cause
		# most of them to exit with an error.
		unset TERM DISPLAY
		${EMACS} ${EMACSFLAGS} -l "${T}"/emacs-version.el </dev/null
	);
    ret=$?;
    rm -f "${T}"/emacs-version.el;
    if [[ ${ret} -ne 0 ]]; then
        eerror "elisp-emacs-version: Failed to run ${EMACS}";
        return ${ret};
    fi;
    if [[ -z ${version} ]]; then
        eerror "elisp-emacs-version: Could not determine Emacs version";
        return 1;
    fi;
    echo "${version}"
}
elisp-install () 
{ 
    local subdir="$1";
    shift;
    ebegin "Installing Elisp files for GNU Emacs support";
    ( insinto "${SITELISP}/${subdir}";
    doins "$@" );
    eend $? "elisp-install: doins failed" || die
}
elisp-make-autoload-file () 
{ 
    local f="${1:-${PN}-autoloads.el}" null="" page='';
    shift;
    ebegin "Generating autoload file for GNU Emacs";
    cat > "${f}"  <<-EOF
;;; ${f##*/} --- autoloads for ${PN}

;;; Commentary:
;; Automatically generated by elisp-common.eclass
;; DO NOT EDIT THIS FILE

;;; Code:
${page}
;; Local ${null}Variables:
;; version-control: never
;; no-byte-compile: t
;; no-update-autoloads: t
;; End:

;;; ${f##*/} ends here
EOF

    ${EMACS} ${EMACSFLAGS} --eval "(setq make-backup-files nil)" --eval "(setq generated-autoload-file (expand-file-name \"${f}\"))" -f batch-update-autoloads "${@-.}";
    eend $? "elisp-make-autoload-file: batch-update-autoloads failed" || die
}
elisp-need-emacs () 
{ 
    local need_emacs=$1 have_emacs;
    have_emacs=$(elisp-emacs-version) || return 2;
    einfo "Emacs version: ${have_emacs}";
    if [[ ${have_emacs} =~ XEmacs|Lucid ]]; then
        eerror "This package needs GNU Emacs.";
        return 1;
    fi;
    if ! [[ ${have_emacs%%.*} -ge ${need_emacs%%.*} ]]; then
        eerror "This package needs at least Emacs ${need_emacs%%.*}.";
        eerror "Use \"eselect emacs\" to select the active version.";
        return 1;
    fi;
    return 0
}
elisp-site-file-install () 
{ 
    local sf="${1##*/}" my_pn="${2:-${PN}}" ret;
    local header=";;; ${PN} site-lisp configuration";
    [[ ${sf} == [0-9][0-9]*-gentoo*.el ]] || ewarn "elisp-site-file-install: bad name of site-init file";
    [[ ${sf%-gentoo*.el} != "${sf}" ]] && sf="${sf%-gentoo*.el}-gentoo.el";
    sf="${T}/${sf}";
    ebegin "Installing site initialisation file for GNU Emacs";
    [[ $1 = "${sf}" ]] || cp "$1" "${sf}";
    sed -i -e "1{:x;/^\$/{n;bx;};/^;.*${PN}/I!s:^:${header}\n\n:;1s:^:\n:;}" -e "s:@SITELISP@:${EPREFIX}${SITELISP}/${my_pn}:g" -e "s:@SITEETC@:${EPREFIX}${SITEETC}/${my_pn}:g;\$q" "${sf}";
    ( insinto "${SITELISP}/site-gentoo.d";
    doins "${sf}" );
    ret=$?;
    rm -f "${sf}";
    eend ${ret} "elisp-site-file-install: doins failed" || die
}
elisp-site-regen () 
{ 
    local sitelisp=${ROOT}${EPREFIX}${SITELISP};
    local sf i ret=0 null="" page='';
    local -a sflist;
    if [[ ${EBUILD_PHASE} = *rm && ! -e ${sitelisp}/site-gentoo.el ]]; then
        ewarn "Refusing to create site-gentoo.el in ${EBUILD_PHASE} phase.";
        return 0;
    fi;
    [[ -d ${sitelisp} ]] || die "elisp-site-regen: Directory ${sitelisp} does not exist";
    [[ -d ${T} ]] || die "elisp-site-regen: Temporary directory ${T} does not exist";
    ebegin "Regenerating site-gentoo.el for GNU Emacs (${EBUILD_PHASE})";
    for sf in "${sitelisp}"/site-gentoo.d/[0-9][0-9]*.el;
    do
        [[ -r ${sf} ]] && sflist+=("${sf}");
    done;
    cat > "${T}"/site-gentoo.el  <<-EOF || 
;;; site-gentoo.el --- site initialisation for Gentoo-installed packages

;;; Commentary:
;; Automatically generated by elisp-common.eclass
;; DO NOT EDIT THIS FILE

;;; Code:
EOF
 ret=$?
    sed '$q' "${sflist[@]}" < /dev/null >> "${T}"/site-gentoo.el || ret=$?;
    cat >> "${T}"/site-gentoo.el  <<-EOF || 

${page}
(provide 'site-gentoo)

;; Local ${null}Variables:
;; no-byte-compile: t
;; buffer-read-only: t
;; End:

;;; site-gentoo.el ends here
EOF
 ret=$?
    if [[ ${ret} -ne 0 ]]; then
        eend ${ret} "elisp-site-regen: Writing site-gentoo.el failed.";
        die;
    else
        if cmp -s "${sitelisp}"/site-gentoo.el "${T}"/site-gentoo.el; then
            rm -f "${T}"/site-gentoo.el;
            eend;
            einfo "... no changes.";
        else
            mv "${T}"/site-gentoo.el "${sitelisp}"/site-gentoo.el;
            eend $? "elisp-site-regen: Replacing site-gentoo.el failed" || die;
            case ${#sflist[@]} in 
                0)
                    [[ ${PN} = emacs-common-gentoo ]] || ewarn "... Huh? No site initialisation files found."
                ;;
                1)
                    einfo "... ${#sflist[@]} site initialisation file included."
                ;;
                *)
                    einfo "... ${#sflist[@]} site initialisation files included."
                ;;
            esac;
        fi;
    fi;
    return 0
}
pkg_nofetch () 
{ 
    default
}
pkg_postinst () 
{ 
    use emacs && elisp-site-regen;
    if use isabelle; then
        if [ -f "${ROOT}etc/isabelle/components" ]; then
            if egrep "contrib/${PN}-[0-9.]*" "${ROOT}etc/isabelle/components"; then
                sed -e "/contrib\/${PN}-[0-9.]*/d" -i "${ROOT}etc/isabelle/components";
            fi;
            cat >> "${ROOT}etc/isabelle/components"  <<-EOF
contrib/${PN}-${PV}
EOF

        fi;
    fi
    if use zchaff; then
        einfo "This copy of CVC3 is also configured to use the SAT solver zchaff whose";
        einfo "copyright is owned by Princeton University and is more restrictive.";
        einfo "Specifically, it may be used for internal, noncommercial, research purposes";
        einfo "only. See the copyright notices from the zchaff source files which are";
        einfo "included in the LICENSE file.";
        einfo "To build CVC3 without these files, please build cvc3 without the zchaff";
        einfo "use flag (note: zchaff is disabled by default):";
        einfo "USE=-zchaff emerge sci-mathemathematics/cvc3";
    fi
}
pkg_postrm () 
{ 
    use emacs && elisp-site-regen;
    if use isabelle; then
        if [ ! -f "${ROOT}usr/bin/cvc3" ]; then
            if [ -f "${ROOT}etc/isabelle/components" ]; then
                sed -e "/contrib\/${PN}-${PV}/d" -i "${ROOT}etc/isabelle/components";
            fi;
        fi;
    fi
}
src_compile () 
{ 
    emake;
    if use doc; then
        pushd doc || die "Could not cd to doc";
        emake;
        popd;
    fi;
    if use emacs; then
        pushd "${S}/emacs" || die "Could change directory to emacs";
        elisp-compile *.el || die "emacs elisp compile failed";
        popd;
    fi;
    if use test; then
        pushd test || die "Could not cd to test";
        emake;
        popd;
    fi
}
src_configure () 
{ 
    econf --enable-dynamic $(use_enable zchaff);
    if use test; then
        sed -e 's@LD_LIBS = @LD_LIBS = -L'"${S}"'/lib -Wl,-R'"${S}"'/lib @' -i "${S}/test/Makefile" || die "Could not set library paths in test/Makefile";
    fi
}
src_install () 
{ 
    emake DESTDIR="${D}" install;
    if use doc; then
        pushd "${S}"/doc/html || die "Could not cd to doc/html";
        dohtml *.html;
        insinto /usr/share/doc/${PF}/html;
        doins *.css *.gif *.png;
        popd;
    fi;
    if use emacs; then
        elisp-install ${PN} emacs/*.{el,elc};
        cp "${FILESDIR}"/${SITEFILE} "${S}";
        elisp-site-file-install ${SITEFILE};
    fi;
    if use isabelle; then
        ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" || die "isabelle getenv ISABELLE_HOME failed";
        [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty";
        dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc";
        cat >> "${S}/settings"  <<-EOF
CVC3_COMPONENT="\$COMPONENT"
CVC3_HOME="${ROOT}usr/bin"
CVC3_SOLVER="\$CVC3_HOME/cvc3"
CVC3_REMOTE_SOLVER="cvc3"
CVC3_INSTALLED="yes"
EOF

        insinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc";
        doins "${S}/settings";
    fi
}
src_prepare () 
{ 
    sed -e 's#prefix=@prefix@#prefix=$(patsubst %/,%,$(DESTDIR))@prefix@#' -e 's#libdir=@libdir@#libdir=$(patsubst %/,%,$(DESTDIR))@libdir@#' -e 's#mandir=@mandir@#mandir=$(patsubst %/,%,$(DESTDIR))@mandir@#' -i "${S}/Makefile.local.in" || die "Could not set DESTDIR in Makefile.local.in"
}
src_test () 
{ 
    pushd test || die "Could not cd to test";
    ./bin/test || die "tests failed";
    popd
}
src_unpack () 
{ 
    default
}