Build #2522 (Jan 21, 2021, 8:56:26 AM)

WIP: Cmake port
https://github.com/souffle-lang/souffle/pull/1838
PR #1838

	No changes.
	GitHub pull request #1838 of commit 686f11425bf2da93afd706b662e64b9bb1c40f1d, no merge conflicts.