diff options
Diffstat (limited to 'AGENTS.md')
| -rw-r--r-- | AGENTS.md | 30 |
1 files changed, 27 insertions, 3 deletions
@@ -343,14 +343,38 @@ task ready ## Build and Test Commands -Build the task manager: +### bild + +`bild` is the universal build tool. It can build and test everything in the repo. + +Examples: +```bash +bild --test Omni/Bild.hs # Build and test a namespace +bild --time 0 Omni/Cloud.nix # Build with no timeout +bild --plan Omni/Test.hs # Analyze build without building +``` + +### run.sh + +`run.sh` is a convenience wrapper that builds (if needed) and runs a namespace. + +Examples: ```bash -bild --time 0 Omni/Task.hs +Omni/Ide/run.sh Omni/Task.hs # Build and run task manager +Omni/Ide/run.sh Biz/PodcastItLater/Web.py # Build and run web server ``` +This script will: +1. Check if the binary exists in `_/bin/` +2. Build it if it doesn't exist (exits on build failure) +3. Execute the binary with any additional arguments + +### Test Commands + Run tests: ```bash -task test +task test # Run task manager tests +bild --test Omni/Task.hs # Build and test a namespace ``` ## Integration with Git |
