https://gitlab.com/tezos/tezos
Raw File
Tip revision: df12b817879737855b82b460a09fa443c3d83ca4 authored by Romain Bardou on 04 August 2020, 15:58:58 UTC
Docker: use images with libgcc
Tip revision: df12b81
dune
(library
 (name tezos_p2p_services)
 (public_name tezos-p2p-services)
 (libraries tezos-base )
 (flags (:standard -linkall
                   -open Tezos_base__TzPervasives
                   ))
 )

(alias
 (name runtest_lint)
 (deps (glob_files *.ml{,i}))
 (action (run %{lib:tezos-tooling:lint.sh} %{deps})))
back to top