CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-16 14:57:13 +03:00
Code Issues Projects Releases Wiki Activity

Documentation about plugins

Browse Source
This commit is contained in:
Denis Merigoux 2022-08-09 15:00:13 +02:00
parent c82c04e866
commit a77fa65f9c
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
2 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@ -127,6 +127,13 @@ them, use
make help
### Plugin backends
While the compiler has some builtin backends for Catala (Python, Ocaml, etc.),
it is also possible to add a custom backend to the Catala compiler without
having to modify its source code. This plugin solution relies on dynamic
linking: see [the dedicated README](compiler/plugins/README.md).
### Clerk
Use `clerk --help` if you have installed it to get more information about the command line

11
compiler/plugins/README.md Normal file
View File

@ -0,0 +1,11 @@
# 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](https://catala-lang.org/ocaml_docs/catala/plugins.html)
for more details on how to create them, or look at the existing plugins
in this directory for inspiration.