catala/compiler/plugins/dune
Louis Gesbert 467a338b6c Install Catala plugins
Fixes #378

- the plugins are compiled as libraries rather than with `executable`, so that
  dune is able to install them
- they get installed to `lib/catala/plugins/<plugin-name>/<plugin-name>.cmxs`
- the lookup for plugins is now recursive to cope with the plugin subdirectories
  in the point above
2023-01-17 14:38:09 +01:00

26 lines
645 B
Plaintext

(library
(name python)
(public_name catala.plugins.python)
(synopsis
"Demonstration Catala plugin that reproduces the behaviour of the built-in python backend")
(modules python)
(libraries catala.driver))
(library
(name api_web)
(public_name catala.plugins.api_web)
(synopsis "Catala plugin for interaction with a web interface")
(modules api_web)
(libraries catala.driver))
(library
(name json_schema)
(public_name catala.plugins.json_schema)
(synopsis "Catala plugin generating JSON schemas useful to build web-forms")
(modules json_schema)
(libraries catala.driver))
(documentation
(package catala)
(mld_files plugins))