path: /build/build/z3-sci-mathematics-4.8.5+2.package.tar.zst
dependencies: []
compilespec:
  steps: []
  env: []
  prelude:
  - |-
    export FEATURES="-sandbox -usersandbox -ipc-sandbox -pid-sandbox -network-sandbox" && \
    export JOBS=3 && \
    eval 'mkdir -p /var/cache/portage/distfiles || true' && \
    chown portage:portage -R /var/cache/portage/ && \
    USE="-doc -java -python_single_target_python3_10 -python_single_target_python3_7 -python_single_target_python3_8 gmp python_single_target_python3_9" emerge sci-mathematics/z3 -pv -t && \
    USE="-doc -java -python_single_target_python3_10 -python_single_target_python3_7 -python_single_target_python3_8 gmp python_single_target_python3_9" emerge -j ${JOBS} --nodeps sci-mathematics/z3
  - export LUET_PORTAGE_CACHE_PACKAGES="/var/cache/portage/packages" && export LUET_PORTAGE_IGNORE_TAR_WARNING=1
    && export LUET_PORTAGE_PKGMETA=1 && export LUET_PORTAGE_PKGFILES=1 && eval 'rm
    -rf /pkgdir/ || true' && mkdir -p /pkgdir/z3 && luet-portage --dir /pkgdir/z3
    sci-mathematics/z3 && eval 'rm -v /var/cache/distfiles/* ${LUET_PORTAGE_CACHE_PACKAGES}/*
    || true'
  image: ""
  seed: docker-registry1.mottainai.local:5000/anise-macaroni-funtoo-dev-tree:8e4b13c2246b0c1c3ebd9311e9a0d45c0ddc1f7db99a6336dd836bf99014271e
  package:
    name: z3
    version: 4.8.5+2
    category: sci-mathematics
    use_flags:
    - -doc
    - -java
    - -python_single_target_python3_10
    - -python_single_target_python3_7
    - -python_single_target_python3_8
    - gmp
    - python_single_target_python3_9
    requires:
    - name: libpfm
      version: '>=0'
      category: dev-libs
    annotations:
      subsets:
        rules:
          devel:
          - ^/usr/include/
          portage:
          - ^/var/db/pkg/
    description: An efficient theorem prover
    uri:
    - https://github.com/Z3Prover/z3/
    license: MIT
    buildtimestamp: 2025-03-14 23:51:41.065241189 +0000 UTC m=+1726.159451122
    labels:
      DEPEND: python_single_target_python3_10? ( dev-lang/python:3.10 >=dev-lang/python-exec-2:=[python_targets_python3_10]
        ) python_single_target_python3_7? ( dev-lang/python:3.7 >=dev-lang/python-exec-2:=[python_targets_python3_7]
        ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9]
        ) python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8]
        ) gmp? ( dev-libs/gmp:0=[-mgorny(-)] ) doc? ( app-doc/doxygen ) java? ( >=virtual/jdk-1.8
        ) sys-devel/make >=dev-util/cmake-3.9.6
      IUSE: doc examples gmp isabelle java openmp python abi_x86_32 abi_x86_64 abi_x86_x32
        abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 python_single_target_python3_10
        python_single_target_python3_7 python_single_target_python3_9 python_single_target_python3_8
        python_targets_python3_10 python_targets_python3_7 python_targets_python3_9
        python_targets_python3_8
      RDEPEND: python_single_target_python3_10? ( dev-lang/python:3.10 >=dev-lang/python-exec-2:=[python_targets_python3_10]
        ) python_single_target_python3_7? ( dev-lang/python:3.7 >=dev-lang/python-exec-2:=[python_targets_python3_7]
        ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9]
        ) python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8]
        ) gmp? ( dev-libs/gmp:0=[-mgorny(-)] )
      emerge.packages: sci-mathematics/z3
      kit: science-kit
      original.package.name: sci-mathematics/z3
      original.package.slot: "0"
      original.package.version: 4.8.5
    treedir: /build/packages
  package_dir: /pkgdir/z3
  retrieve: []
  unpack: false
  includes: []
  excludes:
  - ^/var/cache/portage/
  - ^/var/git/
  build_options:
    pushimagerepository: docker-registry1.mottainai.local:5000/anise-macaroni-funtoo-dev-tree
    pullimagerepository:
    - luet/cache
    pullfirst: false
    keepimg: false
    push: false
    concurrency: 0
    compressiontype: ""
    wait: false
    onlydeps: false
    nodeps: false
    solveroptions: {}
    buildvaluesfile: []
    buildvalues:
    - arch: amd64
      commons-repo: macaroni-commons-dev
    packagetargetonly: false
    rebuild: false
    backendargs: []
    backendtype: ""
    templatesfolder: []
  copy: []
  requires_final_images: false
checksums:
  sha256: 3f251fd9912691eda14d62ecfc98afa3211d345a2d81c72c2bdbf7f0ed424a9f
compressiontype: zstd
files:
- usr/bin/z3
- usr/include/z3++.h
- usr/include/z3.h
- usr/include/z3_algebraic.h
- usr/include/z3_api.h
- usr/include/z3_ast_containers.h
- usr/include/z3_fixedpoint.h
- usr/include/z3_fpa.h
- usr/include/z3_macros.h
- usr/include/z3_optimization.h
- usr/include/z3_polynomial.h
- usr/include/z3_rcf.h
- usr/include/z3_spacer.h
- usr/include/z3_v1.h
- usr/include/z3_version.h
- usr/lib/python3.9/site-packages/z3/__init__.py
- usr/lib/python3.9/site-packages/z3/__pycache__/__init__.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/__init__.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/__init__.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3consts.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3consts.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3consts.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3core.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3core.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3core.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3num.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3num.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3num.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3poly.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3poly.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3poly.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3printer.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3printer.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3printer.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3rcf.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3rcf.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3rcf.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3test.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3test.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3test.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3types.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3types.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3types.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3util.cpython-39.opt-1.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3util.cpython-39.opt-2.pyc
- usr/lib/python3.9/site-packages/z3/__pycache__/z3util.cpython-39.pyc
- usr/lib/python3.9/site-packages/z3/z3.py
- usr/lib/python3.9/site-packages/z3/z3consts.py
- usr/lib/python3.9/site-packages/z3/z3core.py
- usr/lib/python3.9/site-packages/z3/z3num.py
- usr/lib/python3.9/site-packages/z3/z3poly.py
- usr/lib/python3.9/site-packages/z3/z3printer.py
- usr/lib/python3.9/site-packages/z3/z3rcf.py
- usr/lib/python3.9/site-packages/z3/z3test.py
- usr/lib/python3.9/site-packages/z3/z3types.py
- usr/lib/python3.9/site-packages/z3/z3util.py
- usr/lib64/cmake/z3/Z3Config.cmake
- usr/lib64/cmake/z3/Z3Targets-relwithdebinfo.cmake
- usr/lib64/cmake/z3/Z3Targets.cmake
- usr/lib64/libz3.so
- usr/lib64/libz3.so.4.8
- usr/lib64/libz3.so.4.8.5.0
- usr/share/doc/z3-4.8.5/README-CMake.md.bz2
- usr/share/doc/z3-4.8.5/README.md.bz2
- usr/share/doc/z3-4.8.5/RELEASE_NOTES.bz2
- var/db/pkg/sci-mathematics/z3-4.8.5/BUILD_TIME
- var/db/pkg/sci-mathematics/z3-4.8.5/CATEGORY
- var/db/pkg/sci-mathematics/z3-4.8.5/CBUILD
- var/db/pkg/sci-mathematics/z3-4.8.5/CFLAGS
- var/db/pkg/sci-mathematics/z3-4.8.5/CHOST
- var/db/pkg/sci-mathematics/z3-4.8.5/CONTENTS
- var/db/pkg/sci-mathematics/z3-4.8.5/COUNTER
- var/db/pkg/sci-mathematics/z3-4.8.5/CTARGET
- var/db/pkg/sci-mathematics/z3-4.8.5/CXX
- var/db/pkg/sci-mathematics/z3-4.8.5/CXXFLAGS
- var/db/pkg/sci-mathematics/z3-4.8.5/DEFINED_PHASES
- var/db/pkg/sci-mathematics/z3-4.8.5/DEPEND
- var/db/pkg/sci-mathematics/z3-4.8.5/DESCRIPTION
- var/db/pkg/sci-mathematics/z3-4.8.5/EAPI
- var/db/pkg/sci-mathematics/z3-4.8.5/FEATURES
- var/db/pkg/sci-mathematics/z3-4.8.5/HOMEPAGE
- var/db/pkg/sci-mathematics/z3-4.8.5/INHERITED
- var/db/pkg/sci-mathematics/z3-4.8.5/IUSE
- var/db/pkg/sci-mathematics/z3-4.8.5/IUSE_EFFECTIVE
- var/db/pkg/sci-mathematics/z3-4.8.5/KEYWORDS
- var/db/pkg/sci-mathematics/z3-4.8.5/LDFLAGS
- var/db/pkg/sci-mathematics/z3-4.8.5/LICENSE
- var/db/pkg/sci-mathematics/z3-4.8.5/NEEDED
- var/db/pkg/sci-mathematics/z3-4.8.5/NEEDED.ELF.2
- var/db/pkg/sci-mathematics/z3-4.8.5/PF
- var/db/pkg/sci-mathematics/z3-4.8.5/PROVIDES
- var/db/pkg/sci-mathematics/z3-4.8.5/RDEPEND
- var/db/pkg/sci-mathematics/z3-4.8.5/REQUIRES
- var/db/pkg/sci-mathematics/z3-4.8.5/SIZE
- var/db/pkg/sci-mathematics/z3-4.8.5/SLOT
- var/db/pkg/sci-mathematics/z3-4.8.5/USE
- var/db/pkg/sci-mathematics/z3-4.8.5/environment.bz2
- var/db/pkg/sci-mathematics/z3-4.8.5/repository
- var/db/pkg/sci-mathematics/z3-4.8.5/z3-4.8.5.ebuild
package_cacheimage: ""
runtime:
  name: z3
  version: 4.8.5+2
  category: sci-mathematics
  use_flags:
  - -doc
  - -java
  - -python_single_target_python3_10
  - -python_single_target_python3_7
  - -python_single_target_python3_8
  - gmp
  - python_single_target_python3_9
  requires:
  - name: python
    version: '>=0'
    category: dev-lang-3.9
  - name: python-exec
    version: '>=0'
    category: dev-lang-2
  - name: gmp
    version: '>=0'
    category: dev-libs
  annotations:
    subsets:
      rules:
        devel:
        - ^/usr/include/
        portage:
        - ^/var/db/pkg/
  description: An efficient theorem prover
  uri:
  - https://github.com/Z3Prover/z3/
  license: MIT
  labels:
    DEPEND: python_single_target_python3_10? ( dev-lang/python:3.10 >=dev-lang/python-exec-2:=[python_targets_python3_10]
      ) python_single_target_python3_7? ( dev-lang/python:3.7 >=dev-lang/python-exec-2:=[python_targets_python3_7]
      ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9]
      ) python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8]
      ) gmp? ( dev-libs/gmp:0=[-mgorny(-)] ) doc? ( app-doc/doxygen ) java? ( >=virtual/jdk-1.8
      ) sys-devel/make >=dev-util/cmake-3.9.6
    IUSE: doc examples gmp isabelle java openmp python abi_x86_32 abi_x86_64 abi_x86_x32
      abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 python_single_target_python3_10
      python_single_target_python3_7 python_single_target_python3_9 python_single_target_python3_8
      python_targets_python3_10 python_targets_python3_7 python_targets_python3_9
      python_targets_python3_8
    RDEPEND: python_single_target_python3_10? ( dev-lang/python:3.10 >=dev-lang/python-exec-2:=[python_targets_python3_10]
      ) python_single_target_python3_7? ( dev-lang/python:3.7 >=dev-lang/python-exec-2:=[python_targets_python3_7]
      ) python_single_target_python3_9? ( dev-lang/python:3.9 >=dev-lang/python-exec-2:=[python_targets_python3_9]
      ) python_single_target_python3_8? ( dev-lang/python:3.8 >=dev-lang/python-exec-2:=[python_targets_python3_8]
      ) gmp? ( dev-libs/gmp:0=[-mgorny(-)] )
    emerge.packages: sci-mathematics/z3
    kit: science-kit
    original.package.name: sci-mathematics/z3
    original.package.slot: "0"
    original.package.version: 4.8.5
