swh:1:snp:9c27352633c4639a943e316050a7b904f57900e2
Raw File
Tip revision: 82dcd5c179ff370405f581e2a33e889bcbda7866 authored by Milo Davis on 04 December 2017, 15:35:48 UTC
Data_encoding: optimize binary serialization
Tip revision: 82dcd5c
jbuild
(jbuild_version 1)

(library
 ((name tezos_micheline)
  (public_name tezos-micheline)
  (libraries
   (
    ;; External
    uutf
    ;; Internal
    tezos-base
    ))
  (flags (:standard -w -9+27-30-32-40@8
                    -safe-string
                    -open Tezos_base__TzPervasives))))

(alias
 ((name runtest_indent)
  (deps ((glob_files *.ml) (glob_files *.mli)))
  (action (run bash ${libexec:tezos-stdlib:test-ocp-indent.sh} ${<}))))
back to top