INCATools / ontology-development-kit

Bootstrap an OBO Library ontology
http://incatools.github.io/ontology-development-kit/
BSD 3-Clause "New" or "Revised" License
223 stars 54 forks source link

Set Souffle to use 64-bit integer and float values, to match Mac homebrew package #935

Closed balhoff closed 1 year ago

balhoff commented 1 year ago

This difference has bitten me since I use a custom functor in the Ubergraph build (https://github.com/INCATools/ubergraph/blob/master/functors.cpp). I switched over to the ODK Souffle installation instead of one in my custom docker image, and just realized that Ubergraph is now full of NaNs. I think this will fix the problem.

See https://souffle-lang.github.io/build#cmake-configuration-options

Homebrew formula: https://github.com/Homebrew/homebrew-core/blob/51d3ca10a5f12bfd83f2f8038258792e0df67584/Formula/s/souffle.rb#L33