diff options
| author | Josh Essman <68349992+joshessman-llnl@users.noreply.github.com> | 2021-02-23 17:46:37 -0600 |
|---|---|---|
| committer | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-05-21 15:09:08 +0200 |
| commit | 14e179398fc8dcfc58ff7f9b95506ccc9aab3359 (patch) | |
| tree | 68a6d1fc55212936b8d1928873e56bed0532b1cc /var | |
| parent | 8d131934345abc5f0ee61da45a74fa09c07195bb (diff) | |
| download | spack-14e179398fc8dcfc58ff7f9b95506ccc9aab3359.tar.gz spack-14e179398fc8dcfc58ff7f9b95506ccc9aab3359.tar.bz2 spack-14e179398fc8dcfc58ff7f9b95506ccc9aab3359.tar.xz spack-14e179398fc8dcfc58ff7f9b95506ccc9aab3359.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
(cherry picked from commit 93ed1a410c4a202eab3a68769fd8c0d4ff8b1c8e)
Diffstat (limited to 'var')
0 files changed, 0 insertions, 0 deletions