crux_cli 0.2.0

Command line tool for crux_core
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#!/usr/bin/env fish
argparse h/help -- $argv
or return

if set -q _flag_help
    echo must specify example as the single argument
    return 0
end

argparse --min-args=1 -- $argv
or return

cargo build

pushd $argv[1]
RUST_LOG=info ../../target/debug/crux codegen \
    --crate-name shared \
    --out-dir ./shared/generated \
    --java com.crux.example.counter.shared \
    --swift SharedTypes \
    --typescript shared_types
popd