nberth / ez-conf-lib

Simple generator of conf-<lib>.config files

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ez-conf-lib

This repository hosts a simple generator of conf-<pkg>.config files for opam.

The ez-conf-lib script is not meant to be used directly. Rather, its purpose is to be called from the build section of opam package specifications for virtual packages that check the presence of system libraries:

For instance, the conf-gmp package calls it as follows:

build: [
  [ "sh" ez-conf-lib:exe "gmp" "gmp.h" "gmptest.c" "--"
    "/usr/local" {os != "macos" & os != "win32"}
    "/opt/homebrew" {os = "macos"}
    "/opt/local" {os = "macos"} ]
]

where gmptest.c is a C file used to test inclusion and linking against the gmplib.

About

Simple generator of conf-<lib>.config files

License:GNU General Public License v3.0


Languages

Language:Shell 100.0%