Build #2522
(Jan 21, 2021, 8:56:26 AM)
WIP: Cmake port
https://github.com/souffle-lang/souffle/pull/1838
PR #1838
https://github.com/souffle-lang/souffle/pull/1838
PR #1838
![]() | No changes. |
![]() | GitHub pull request #1838 of commit 686f11425bf2da93afd706b662e64b9bb1c40f1d, no merge conflicts. |