You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[planner->plugin] Turn php planner into a plugin (#1000)
## Summary
This PR turns our PHP planner into a plugin. Our plugins are actually
almost able to do this with some minimal changes.
Re-used existing functionality:
* Create `flake.nix` file in the php plugin
* packages (inputs) can be local flakes
Changes:
* Pass `Packages`, `System`, and `URLForInput` to plugin file templates.
This allows plugins to build and customize some interesting flakes.
* Add `packages` field to plugins. We wanted to do this for a while. In
this case it simply points to the flake created by the plugin. These
packages are added to the devbox environment.
Semi-related changes:
* Use `--recreate-lock-file` every time we `print-dev-env`. The reason
this is needed is because input flakes might change se we need to
frequently update. It doesn't hurt performance much because we cache
print-dev-env. This means any unlocked package will update frequently. I
think that's fine because this lockfile is not shared so there's no
expectation of stability.
cc: @Lagoja@savil
## How was it tested?
```bash
devbox add php phpExtensions.ds
devbox run 'php -m | grep ds'
```
0 commit comments