swh:1:snp:0e3a7a90b5b85feca1ee6285ebc0301d2b85deae
Raw File
Tip revision: ba37062b0bcf587228febfb01e728f5ceb6d4aba authored by Pierre-Yves Strub on 05 January 2023, 13:05:38 UTC
runtest: ECRJOBS env. variable
Tip revision: ba37062
dune
(dirs src theories examples scripts)

(install
  (section (site (easycrypt commands)))
  (files (scripts/testing/runtest as runtest)))

(install
  (section (bin))
  (files (scripts/testing/bin-ec-runtest as ec-runtest)))
back to top