aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
author_ov4 <ov4@ov4.org>2026-10-13 03:23:52 +0000
committer_ov4 <ov4@ov4.org>2026-10-13 03:23:52 +0000
commitf9a0c7e9687bc3e113f4c8f44861533c9ca48b3a (patch)
tree5d51c5a403dd096b0c3748118409be20eb3e1900 /README.md
parent3818460a473bd3ffcd35f09eb6429e1b0f00bc07 (diff)
feat: compile source files with configurable IR output
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Diffstat (limited to 'README.md')
-rw-r--r--README.md13
1 files changed, 13 insertions, 0 deletions
diff --git a/README.md b/README.md
index dd08059..b251eba 100644
--- a/README.md
+++ b/README.md
@@ -83,6 +83,19 @@ mingw32-make
```
+## Usage
+
+```bash
+cpsc test.cps # save test.ir beside the source file
+cpsc test.cps -o result.ir # save IR to the specified path
+lli result.ir # run the generated IR
+```
+
+Only one source file is supported. Options may appear before or after it.
+With no arguments, `cpsc` exits silently with status 0; help text is planned.
+Diagnostics go to stderr. Failed compilation does not write IR; successful
+compilation overwrites an existing output file, but cannot overwrite the source.
+
# Note
DO NOT OPEN ANY ISSUES IF YOU COMPILE WITH VISUAL STUDIO OR ANYTHING EXCEPT MINGW-W64 (EVEN WITH MINGW-W64, WINDOWS IS LIKELY TO BE A PROBLEM MAKER)