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_stdlib_unix)
 (public_name tezos-stdlib-unix)
 (flags (:standard -open Tezos_error_monad
                   -open Tezos_event_logging
                   -open Tezos_stdlib
                   -open Data_encoding))
 (libraries data-encoding
            tezos-error-monad
            tezos-event-logging
            tezos-stdlib
            lwt.unix
            ipaddr.unix
            ptime
            ptime.clock.os
            mtime
            mtime.clock.os
            lwt_log))

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