Gregg Reynolds
Gregg Reynolds
First draft
Suggestion: one ref page, one guide page. The Guide is where people go to learn interop; the Ref is for quick reference by people who already know. PRs on the...
Hi SCIPRs, As part of a project adding Bazel support to [Mina](https://github.com/MinaProtocol/mina), I've bazelized libsnark and its dependencies. Unfortunately, Mina has dropped libsnark in favor of a Rust implementation, but...
### Description of the bug: Under version 4.2.0, the following emits libalpha.a and libalpha.so cc_library( name = "alpha", srcs = [ "alpha.c", ], linkstatic = False, ) Under version 5...
The current config protocol relies on the .coda-config directory being in the home directory of the user running the daemon. But common practice is to run a daemon under a...
I'm working on a ruleset for js_of_ocaml, which transpiles OCaml bytecode to javascript. I'd like to have my rules emit JsInfo so they integrate well with rules_js. The comments in...
I've begin adding bazel support. See https://github.com/obazl/binaryen. Building the libraries in `src/` went pretty smoothly but I need some help with other stuff, since I'm just getting started with wasm...
The [manual for the native compiler](https://v2.ocaml.org/manual/native.html) says: "Arguments ending in .o, .a or .so (.obj, .lib and .dll under Windows) are assumed to be C object files and libraries. They...
On MacOS, shared libraries embed an "install name" as well as a list of shared library dependencies. They can be inspected with `otool -L`. In OPAM installations of the OCaml...
There’s something flaky about the ctypes package. The `/lib/ctypes/META` file says package "foreign" ( directory = "foreign" version = "0.21.1" requires = "ctypes-foreign" ) But there is no /lib/ctypes/foreign directory....