lustrec/src/plugins/salsa/dune @ ca7ff3f7
1 |
(include_subdirs no) |
---|---|
2 |
|
3 |
(library |
4 |
(name salsa_plugin) |
5 |
(public_name lustrec.salsa_plugin) |
6 |
(libraries lustrec_interface plugin_register salsa) |
7 |
(optional)) |
8 |
|
9 |
(plugin |
10 |
(name salsa_plugin) |
11 |
(libraries lustrec.salsa_plugin) |
12 |
(site |
13 |
(lustrec plugins)) |
14 |
(optional)) |