Gregg Reynolds
Gregg Reynolds
Thanks, I'll dig into the test code. In the meantime, I'll have some questions about the interface, which I'll post here (for posterity) unless you think discord or some other...
I just noticed license is GPL3. I would not be able to use it as a library with that license. Any chance you could dual license, with some BSD/Apache/etc. type...
LGPL + static exception would work for me, thanks!
Thanks for reminding me. Life intervened, but I hope to get back to this soon.
see PR 95
FYI the repos have been moved to [o1-labs](https://github.com/o1-labs)
For the record, I prefer the 4.2.0 way, emitting both files.
On Fri, Sep 16, 2022 at 7:38 AM oquenchil ***@***.***> wrote: > I thought this could be explained by rewriting cc_library to Starlark but > as far as I can...
On Fri, Sep 16, 2022 at 9:55 AM pcjanzen ***@***.***> wrote: > The default mac toolchain stopped supporting dynamic linking in 5.0: > ec55533 > > What does that mean?...
Oops, wrong language. I meant `myfilter.exts = {"ml", "mli", "mll", "mly"}` (C11)