Arlen Cox

ocamlfind won't build with ocamljava

3

When I try to build ocamlfind using the ocaml built with ocamljava I get an inconsistent assumptions over interface errors: ``` File "topfind.ml", line 1: # Error: The files /Users/cox/.opam/ocamljava-2.0-alpha3/lib/ocaml/compiler-libs/toploop.cmi...

Ungrounded variables cannot be grounded by the magic sets transform

3

In addition to being a performance optimization, the magic sets transform often grounds variables that might otherwise be ungrounded. Unfortunately, it appears that souffle performs a check for grounding prior...

Give the full path for libstdc++ to rustc for linking

1

# Description There is a situation where rustc links a rust application using `/bin/cc` which may point to a different binary than `$CC` (or `$CXX`) that cc-rs uses for compiling...