Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
09 March 2024, 04:34:05 UTC
Revision 42a7841bce710a4d5084ba035b6f4e537a19016f authored by Pierre-Yves Strub on 01 December 2023, 16:42:37 UTC, committed by Pierre-Yves Strub on 01 December 2023, 16:53:46 UTC 
runtest: do not try to load pyyaml when reporting is disabled
1 parent 15f0751
Raw File
Tip revision: 42a7841bce710a4d5084ba035b6f4e537a19016f authored by Pierre-Yves Strub on 01 December 2023, 16:42:37 UTC
runtest: do not try to load pyyaml when reporting is disabled
Tip revision: 42a7841
dune 
(env
 (dev     (flags :standard -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69))
 (release (flags :standard -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69)
          (ocamlopt_flags -O3 -unbox-closures)))

(include_subdirs unqualified)

(library 
 (name ecLib)
 (public_name easycrypt.ecLib)
 (modules :standard \ ec)
 (libraries batteries camlp-streams dune-build-info inifiles why3 yojson zarith)
)

(executable
 (public_name easycrypt)
 (name ec)
 (modules ec)
 (promote (until-clean))
 (libraries batteries camlp-streams dune-build-info inifiles why3 yojson zarith ecLib))

(ocamllex ecLexer)

(menhir
 (modules ecParser)
 (flags --table --explain))
back to top