zseri
/
ermit Archived
1
0
Fork 0
Code Issues 0 Pull Requests 0 Projects 0 Releases 0 Wiki Activity
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.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
8 Commits
1 Branch
39 KiB
 
 
Branch: main
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'main'
${ noResults }
 ZIP  TAR.GZ
zseri ec8d7f6072 nix flake update 4 months ago
docs fix example and publish README 6 months ago
.gitignore initial commit 6 months ago
LICENSE initial commit 6 months ago
README.md fix example and publish README 6 months ago
ast.ml initial commit 6 months ago
default.nix initial commit 6 months ago
dune initial commit 6 months ago
dune-project initial commit 6 months ago
ermit.ml fix flat rendering 6 months ago
ermit.opam initial commit 6 months ago
flake.lock nix flake update 4 months ago
flake.nix initial commit 6 months ago
index.nix nix flake update 4 months ago
lex.ml get rid of lexer debugging 6 months ago
parser.mly improve the parser, get rid of parsing NL NL 6 months ago
shell.nix initial commit 6 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