# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4

PortSystem          1.0
PortGroup           ocaml 1.1

name                ocaml-farith
version             0.1
revision            2
categories          ocaml math
maintainers         {@barracuda156 macos-powerpc.org:barracuda} openmaintainer
license             LGPL-2.1
description         Floating point numbers library
long_description    {*}${description} extracted from the Flocq Coq Library.
homepage            https://git.frama-c.com/pub/farith
master_sites        ${homepage}/-/archive/${version}/
use_bzip2           yes
distname            farith-${version}
checksums           rmd160  4ca22de06aad5fcc6d8270e5c7a835c24e51f106 \
                    sha256  c2d2a99777ef2c8652fa5328feb80359d233dc88ff5a895248083412a558657f \
                    size    53514

depends_lib-append  port:ocaml-base \
                    port:ocaml-ppx_deriving \
                    port:ocaml-ppx_hash \
                    port:ocaml-zarith

ocaml.build_type    dune
