https://github.com/EasyCrypt/easycrypt
Revision 3476312500eca68a89c5b1080e14f263f34d1d63 authored by Pierre-Yves Strub on 19 November 2021, 10:53:40 UTC, committed by Pierre-Yves Strub on 19 November 2021, 10:53:40 UTC
1 parent 08ed0c2
Tip revision: 3476312500eca68a89c5b1080e14f263f34d1d63 authored by Pierre-Yves Strub on 19 November 2021, 10:53:40 UTC
script for graphing a dependency graph for .eco
script for graphing a dependency graph for .eco
Tip revision: 3476312
dune
(env
(dev (flags :standard -rectypes -warn-error -a+31 -w +28+33-9-23-32-58))
(release (flags :standard -rectypes -warn-error -a+31 -w +28+33-9-23-32-58)
(ocamlopt_flags -O3 -unbox-closures)))
(include_subdirs unqualified)
(executable
(public_name easycrypt)
(name ec)
(promote (until-clean))
(libraries batteries dune-build-info dune-site inifiles why3 yojson zarith))
(generate_sites_module
(module EcRelocate)
(sites easycrypt)
(sourceroot))
(ocamllex ecLexer)
(menhir
(modules ecParser)
(flags --table))
Computing file changes ...