gdp-wired-cli 0.0.0-stage → 0.33.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/bin.js +6 -0
- package/package.json +26 -4
- package/README.md +0 -3
package/bin.js
ADDED
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
#!/usr/bin/env node
|
|
2
|
+
// gdp-wired's command line (core/cli.ts) with TypeScript installed beside it: every front end reads a rule through the
|
|
3
|
+
// TypeScript extractor's terms, so `npx gdp-wired-cli check <file|dir>` needs nothing else. Its version is gdp-wired's.
|
|
4
|
+
import {main} from 'gdp-wired/cli'
|
|
5
|
+
|
|
6
|
+
main(process.argv.slice(2)).then(c => { process.exitCode = c }, e => { process.stdout.write(`gdp-wired-cli: ${e instanceof Error ? e.message : String(e)}\n`); process.exitCode = 2 })
|
package/package.json
CHANGED
|
@@ -1,6 +1,28 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "gdp-wired-cli",
|
|
3
|
-
"version": "0.
|
|
4
|
-
"
|
|
5
|
-
"
|
|
6
|
-
|
|
3
|
+
"version": "0.33.0",
|
|
4
|
+
"description": "gdp-wired's command line with TypeScript beside it: `npx gdp-wired-cli check <file|dir>` reads the rule in the code (Python, Ruby, Elixir, Java, Kotlin, Go, Rust, Swift, C, C++, TypeScript), checks it against the code and proves the laws stated in its comments",
|
|
5
|
+
"license": "MIT",
|
|
6
|
+
"author": "Tom X Nguyen",
|
|
7
|
+
"repository": {
|
|
8
|
+
"type": "git",
|
|
9
|
+
"url": "git+https://github.com/monotykamary/gdp-wired.git",
|
|
10
|
+
"directory": "packages/cli"
|
|
11
|
+
},
|
|
12
|
+
"homepage": "https://github.com/monotykamary/gdp-wired#readme",
|
|
13
|
+
"keywords": ["verification", "invariants", "cli", "gdp-wired"],
|
|
14
|
+
"type": "module",
|
|
15
|
+
"bin": {
|
|
16
|
+
"gdp-wired-cli": "bin.js"
|
|
17
|
+
},
|
|
18
|
+
"files": [
|
|
19
|
+
"bin.js"
|
|
20
|
+
],
|
|
21
|
+
"engines": {
|
|
22
|
+
"node": ">=20"
|
|
23
|
+
},
|
|
24
|
+
"dependencies": {
|
|
25
|
+
"gdp-wired": "0.33.0",
|
|
26
|
+
"typescript": "^5.9.0"
|
|
27
|
+
}
|
|
28
|
+
}
|
package/README.md
DELETED