apis 0.4.0

Reactive, session-oriented, asynchronous process-calculus framework
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

#!/bin/bash

set -e

while getopts "v" opt; do
  case $opt in
    v)
      set -x
      ;;
    *)
      echo "Valid options:"
      echo "  -v    verbose"
      exit 1
      ;;
  esac
done

for e in `ls examples/ -I readme.rs -I interactive.rs -I graphical.rs`; do
  example_name=`basename -s .rs $e`
  cargo run --example $example_name
  make -f MakefileDot $example_name
done

cargo run --example readme
make -f MakefileDot charsink
make -f MakefileDot intsource
make -f MakefileDot myprogram

exit