folk-builder 0.2.0

Custom binary builder for Folk — generates and compiles a Folk server with selected plugins
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

# Example: build a Folk PHP extension with all official plugins
#
# Usage:
#   folk-builder build --config examples/folk.build.toml
#   php -d extension=./folk.so folk-server.php
#
# For local development, set folk_ext_path to the local crate:
#   folk_ext_path = "../folk-core/crates/folk-ext"

[build]
output = "folk"

[[plugin]]
crate_name = "folk-plugin-http"
version = "0.1"
config_key = "http"

[[plugin]]
crate_name = "folk-plugin-jobs"
version = "0.1.5"
config_key = "jobs"

[[plugin]]
crate_name = "folk-plugin-grpc"
version = "0.1.8"
config_key = "grpc"

[[plugin]]
crate_name = "folk-plugin-metrics"
version = "0.1"
config_key = "metrics"

[[plugin]]
crate_name = "folk-plugin-process"
version = "0.1"
config_key = "process"