Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 445998 Details for
Bug 593982
sci-mathematics/cvc3-2.4.1 : /.../expr_value.h:667:34: error: no match for call to ‘(std::hash<char*>) (const char*)’
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
environment
environment (text/plain), 20.07 KB, created by
Toralf Förster
on 2016-09-16 15:52:28 UTC
(
hide
)
Description:
environment
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2016-09-16 15:52:28 UTC
Size:
20.07 KB
patch
obsolete
>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 >}
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 593982
:
445996
| 445998 |
446000