SWIG maude Projects
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
I'm trying to link ocaml programs with the Maude solver using it's SWIG bindings. The way that this seems to work is that the bindings generator produces a .so file which can then be linked with various other languages. During configuration, it also creates .ml and .mli files. I'm a little lost because it seems dune/ocaml expects to be given something like source code or c-stubs to link against foreign libraries, and the SWIG docs never discuss .so files, but this is what the bindings generator is giving me, and I don't think I can easily build the .cxx files myself due to how intricate building the solver is and just how much is involved. I'm not very experienced with linking things or with ocaml's foreign function interface, let me know how I should best approach things. Thanks.
Index
Project | Stars | |
---|---|---|
1 | maude-bindings | 14 |
Sponsored