Skip to content

zarith and conf-gmp need to be smarter on macos x #3000

@avsm

Description

@avsm

gmp.h is in /usr/local/include but there's no pkg-config. So to compile zarith on MacOS X I need to:

LDFLAGS=-L/usr/local/lib CFLAGS=-I/usr/local/include opam install zarith -v

I suspect we need to pkg-config up gmp to make this opam-friendly

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions