https://gitlab.com/tezos/tezos
Raw File
Tip revision: 99538960de358aee9770c22eed807a7ba0d2cbfb authored by Danny Willems on 26 November 2020, 12:52:54 UTC
CI: add make in integration_python_definition for local gitlab-runner
Tip revision: 9953896
dune
(executables
 (names codec)
 (public_names tezos-codec)
 (package tezos-codec)
 (libraries data-encoding
            tezos-base
            tezos-stdlib-unix
            tezos-event-logging
            tezos-client-base
            tezos-client-base-unix
            tezos-clic
            tezos-signer-services
            (select void_for_linking-alpha from
              (tezos-client-alpha -> void_for_linking-alpha.empty)
              (-> void_for_linking-alpha.empty))
            (select void_for_linking-005-PsBabyM1 from
              (tezos-client-005-PsBabyM1 -> void_for_linking-005-PsBabyM1.empty)
              (-> void_for_linking-005-PsBabyM1.empty))
            (select void_for_linking-006-PsCARTHA from
              (tezos-client-006-PsCARTHA -> void_for_linking-006-PsCARTHA.empty)
              (-> void_for_linking-006-PsCARTHA.empty))
            (select void_for_linking-007-PsDELPH1 from
              (tezos-client-007-PsDELPH1 -> void_for_linking-007-PsDELPH1.empty)
              (-> void_for_linking-007-PsDELPH1.empty))
 )
 (flags (:standard -open Data_encoding
                   -open Tezos_base__TzPervasives
                   -open Tezos_client_base_unix
                   -open Tezos_client_base
                   -open Tezos_clic
                   -open Tezos_stdlib_unix
                   -open Tezos_event_logging
                   -linkall)))

(rule
 (action
  (progn
   (write-file void_for_linking-alpha.empty "")
   (write-file void_for_linking-005-PsBabyM1.empty "")
   (write-file void_for_linking-006-PsCARTHA.empty "")
   (write-file void_for_linking-007-PsDELPH1.empty "")
)))

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