Browse Source

fix example and publish README

main
zseri 2 years ago
parent
commit
1366aab483
2 changed files with 27 additions and 1 deletions
  1. +27
    -0
      README.md
  2. +0
    -1
      docs/ex.erm

+ 27
- 0
README.md View File

@ -0,0 +1,27 @@
# ermit
## BUILD
### using `nix`
```shell
nix build -v -L
# the executable path:
ERMIT=result/bin/ermit
```
### alternative: using `dune`
(requires OCaml)
```shell
dune build
# the executable path:
ERMIT=_build/default/ermit.exe
```
## USAGE, e.g.
```shell
$ERMIT docs/ex.erm > /tmp/ex.dot
dot -Tsvg /tmp/ex.dot -o /tmp/ex.svg
```

+ 0
- 1
docs/ex.erm View File

@ -1,4 +1,3 @@
table GESELLSCHAFT bezeichnug : land
table MASCHINE fznr : wartung
relat besitzt GESELLSCHAFT MASCHINE+ : seit
relat seit : seit