We are hiring ! See our job offers.
https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: 058022c3be6121e485ecf48e19424d1ed36dc535 authored by Fran├žois Dupressoir on 19 January 2022, 19:29:05 UTC
Add rdirs option in config file
Tip revision: 058022c
dune
(dirs src theories examples scripts)

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