diff options
author | Josh Essman <68349992+joshessman-llnl@users.noreply.github.com> | 2021-02-23 17:46:37 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-23 23:46:37 +0000 |
commit | 93ed1a410c4a202eab3a68769fd8c0d4ff8b1c8e (patch) | |
tree | 459c4073521172e78dd0f0fb17e2ba53bf10ef8b /etc | |
parent | 6622856076920cf7b0baa7e5e33e7bc00a85fc32 (diff) | |
download | spack-93ed1a410c4a202eab3a68769fd8c0d4ff8b1c8e.tar.gz spack-93ed1a410c4a202eab3a68769fd8c0d4ff8b1c8e.tar.bz2 spack-93ed1a410c4a202eab3a68769fd8c0d4ff8b1c8e.tar.xz spack-93ed1a410c4a202eab3a68769fd8c0d4ff8b1c8e.zip |
Updates to support clingo-cffi (#20657)
* Support clingo when used with cffi
Clingo recently merged in a new Python module option based on cffi.
Compatibility with this module requires a few changes to spack - it does not automatically convert strings/ints/etc to Symbol and clingo.Symbol.string throws on failure.
manually convert str/int to clingo.Symbol types
catch stringify exceptions
add job for clingo-cffi to Spack CI
switch to potassco-vendored wheel for clingo-cffi CI
on_unsat argument when cffi
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions