CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity
95e3c4bedd
catala/compiler/plugins
History
Louis Gesbert ff06ddf40c Fixing linking across modules for backends 
- This adds a `catala depends` command that recursively tracks module dependency.
It can then be used by Clerk for linking.

- Generation of cmo object files are added for OCaml (we only built native
objects, but jsoo requires bytecode).

- Some fixes to the generation of value embed/deembed shims (related to types
coming from different modules ; add support for options ; etc.)
2024-03-08 17:36:00 +01:00
..
api_web.ml Fixing linking across modules for backends 2024-03-08 17:36:00 +01:00
dune Rework module includes CLI in Catala 2023-09-27 13:14:40 +02:00
explain.ml Repair the 'explain' plugin 2024-03-05 10:07:25 +01:00
json_schema.ml Add monomorphizing option 2023-12-19 15:01:06 +01:00
lazy_interp.ml Fix building of plug-ins 2024-02-12 10:48:12 +01:00
plugins.mld Remove generated files from git 2023-07-10 15:48:11 +02:00
python.ml Add monomorphizing option 2023-12-19 15:01:06 +01:00
README.md Documentation about plugins 2022-08-09 15:00:13 +02:00

README.md

Catala compiler plugins

You want to add a customized backend for the Catala compiler but don't want to modify its source code? Thanks to dynamic linking, it is possible to do so. The advantage of creating a customized backend is the possibility to craft a generated target code that perfectly matches the naming conventions, module structure or coding style of your application.

See the online documentation for more details on how to create them, or look at the existing plugins in this directory for inspiration.