Builds the plugin using dune#378

Open

bmourad01 wants to merge 9 commits intomasterfrom

bmourad/dune-plugin

Commits on Jan 10, 2023

Progress
bmourad01
committed
Fixed
bmourad01
committed
Clean the plugin before the library
bmourad01
committed

Commits on Jan 11, 2023

.gitignore for plugin dir
bmourad01
committed
Remove temporary fix to `test_plugin`
bmourad01
committed
Use `dune-project` to specify opam file
bmourad01
committed
Use `--force`
bmourad01
committed
Uninstall plugin before lib
bmourad01
committed

Commits on Jan 13, 2023

Fix when remaking
bmourad01
committed