You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
zseri ec8d7f6072 nix flake update 3 weeks ago
docs fix example and publish README 3 months ago
.gitignore initial commit 3 months ago
LICENSE initial commit 3 months ago
README.md fix example and publish README 3 months ago
ast.ml initial commit 3 months ago
default.nix initial commit 3 months ago
dune initial commit 3 months ago
dune-project initial commit 3 months ago
ermit.ml fix flat rendering 3 months ago
ermit.opam initial commit 3 months ago
flake.lock nix flake update 3 weeks ago
flake.nix initial commit 3 months ago
index.nix nix flake update 3 weeks ago
lex.ml get rid of lexer debugging 3 months ago
parser.mly improve the parser, get rid of parsing NL NL 3 months ago
shell.nix initial commit 3 months ago

README.md

ermit

BUILD

using nix

nix build -v -L
# the executable path:
ERMIT=result/bin/ermit

alternative: using dune

(requires OCaml)

dune build
# the executable path:
ERMIT=_build/default/ermit.exe

USAGE, e.g.

$ERMIT docs/ex.erm > /tmp/ex.dot
dot -Tsvg /tmp/ex.dot -o /tmp/ex.svg