2022-05-29 18:33:14 UTC

This commit is contained in:
Repository mirror & CI
2022-05-29 18:33:14 +00:00
parent 46150a21f5
commit 5c56ec0670
159 changed files with 638 additions and 900 deletions

View File

@@ -1,17 +1,17 @@
BDEPEND=>=dev-util/re2c-0.13.5 >=sys-devel/bison-2.5 virtual/pkgconfig dev-util/ninja >=dev-util/cmake-3.20.5
DEFINED_PHASES=compile configure install prepare setup test
DEPEND=>=sci-mathematics/clasp-3.3.8:=[tools] sci-libs/libpotassco:= lua? ( lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 ) ) python? ( python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) ) test? ( dev-cpp/catch:0 )
DEPEND=>=sci-mathematics/clasp-3.3.8:=[tools] sci-libs/libpotassco:= lua? ( lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 ) ) python? ( python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) python_single_target_python3_11? ( >=dev-lang/python-3.11.0_beta1-r1:3.11 ) ) test? ( dev-cpp/catch:0 )
DESCRIPTION=Integrated grounder and solver for answer set logic programs
EAPI=8
HOMEPAGE=https://github.com/potassco/clingo https://potassco.org/clingo
INHERIT=cmake flag-o-matic lua-single python-single-r1 toolchain-funcs
IUSE=examples lua python test +tools lua_single_target_lua5-3 lua_single_target_lua5-4 python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10
IUSE=examples lua python test +tools lua_single_target_lua5-3 lua_single_target_lua5-4 python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=>=sci-mathematics/clasp-3.3.8:=[tools] sci-libs/libpotassco:= lua? ( lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 ) ) python? ( python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) )
REQUIRED_USE=lua? ( ^^ ( lua_single_target_lua5-3 lua_single_target_lua5-4 ) ) python? ( ^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 ) )
RDEPEND=>=sci-mathematics/clasp-3.3.8:=[tools] sci-libs/libpotassco:= lua? ( lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 ) ) python? ( python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) python_single_target_python3_11? ( >=dev-lang/python-3.11.0_beta1-r1:3.11 ) )
REQUIRED_USE=lua? ( ^^ ( lua_single_target_lua5-3 lua_single_target_lua5-4 ) ) python? ( ^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11 ) )
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/potassco/clingo/archive/refs/tags/v5.5.2.tar.gz -> clingo-5.5.2.tar.gz
_eclasses_=toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 90e2b29417d53718328f3a95227137a0 lua-utils e69ff116248d78546ae1a234c086fe80 lua-single f2c2fb82c912dd65d53bdae3613a331f python-utils-r1 5dc84801daa87406aafaf535cb947a64 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8
_md5_=a09386ce265b92154cb9427f53c5813e
_md5_=7921d09f40fd974e39af4ab9d29d0c3f

View File

@@ -8,7 +8,7 @@ INHERIT=cmake optfeature
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=media-libs/freeglut media-libs/glu media-libs/libglvnd sci-libs/saclib:= sys-libs/readline
SLOT=0
SRC_URI=https://github.com/Alessandro-Barbieri/qepcad/archive/f79047ad332ee378d876dcbdc8725c3b1f5f7bb7.tar.gz -> qepcad-1.72b_p20220502-r1.tar.gz
SLOT=0/1.72b_p20220502
SRC_URI=https://github.com/Alessandro-Barbieri/qepcad/archive/f79047ad332ee378d876dcbdc8725c3b1f5f7bb7.tar.gz -> qepcad-1.72b_p20220502-r2.tar.gz
_eclasses_=toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 flag-o-matic a500d7cc40da3de38c361e889153bdf7 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 90e2b29417d53718328f3a95227137a0 optfeature d524f291c80f9d21ad80fe978e3ca760
_md5_=a09bf19336e17d6d2b83af288cce93ec
_md5_=d1714d992ba7fbb60b02411bddc1d688