package config

  1. Overview
  2. Docs
Ergonomic, lightweight conditional compilation through attributes

Install

Dune Dependency

Authors

Maintainers

Sources

config-0.0.2.tbz
sha256=0bbbb6d19efef2071663152808f94c6a469530be19a2f28174cfc54245147f04
sha512=453be389faaed410c2fdce448201d62e146e7ad81db13774a690f8e79764f81000d5d838a44e397cb5262aafe7b29b74eac8470cb6dfeea6f39bd6697648a73c

Description

Config implements the [@@config] annotation, to conditionally compile modules. You can use a small boolean language to check for conditions including some built-in ones and environment variables.

README

config.ml

Ergonomic, lightweight conditional compilation through attributes inspired by Rust's cfg macro.

Config implements the [@@config] annotation, to conditionally compile modules. You can use a small boolean language to check for conditions including some built-in ones and environment variables.

It can be used to conditionally include/exclude:

  • modules

  • let bindings

  • includes

  • type definitions

  • constructors from variant types and polymorphic variants

  • fields from record types

  • and more

Currently includes/detects the following platforms:

  • Windows 32/64

  • macOS/tvOS/watchOS/iOS

  • FreeBSD/NetBSD

  • Android

  • Linux

And the following architectures:

  • x86-64

  • x86 i386

  • aarch64

  • arm

And the following environment:

  • msvc

  • gnu

  • musl

Getting Started

opam install config

And add it to your dune files:

(library
  (name my_lib)
  (preprocess (pps config.ppx)))

And tag your values with the @@config attribute:

module A = A_unix [@@config any(target_os = "macos", target_os = "linux")]
module A = A_win32 [@@config any(target_os = "windows")]

The Config Language

Config implements a very small boolean language with 4 operations:

  • var = value, that checks if a variable (from the environment or provided by config) is equals to a value. Equality is string or integer equality.

  • all(expr1, expr2, ...), expects all expressions to be true

  • any(expr1, expr2, ...), expects any expression to be true

  • not(expr), negates an expression

To define new variables you can pass them in as environment variables:

; export BAND="rush" dune build

And you'll be able to write (BAND = "rush")

Cookbook

Enabling/Disabling Modules and Includes

module Pro_mode_env = struct
  let name = "pro-mode"
  let coins = 2112
end
[@@config (project_mode = "pro")]

include Pro_mode_env
[@@config (project_mode = "pro")]

Enabling/Disabling Let definitions

let favorite_band = "rush"
[@@config (is_rush_fan = true)]

let favorite_band = "unknown"
[@@config not (is_rush_fan = true)]

Enabling/Disabling Externals

external dog_bark : unit -> int = "dog_bark"
[@@config (includes = "dog")]

Enabling/Disabling Types

type band = { name: string }
[@@config (use_band = true)]

Enabling/Disabling Variant Constructors

type favorite_bands = 
  | Rush
  | Yes
  | KingCrimson [@config (likes_trumpets = true)]

type has_published_album_recently = 
  [ `nope
  | `yes
  | `maybe [@config (is_indecisive = true)]
  ]

Enabling/Disabling Record Fields

type user = {
  name: string;
  pass: string [@config (password_mode = "clear")];
  pass: Password.t [@config (password_mode = "encrypted")];
}

Enabling/Disabling entire Modules

[@@@config (should_include = "no")]

let do_not_include_me = failwith "oh no"

Contributing

Currently config relies on C preprocessor definitions to detect different platforms and architectures. They are straightforward to add by extending the file ./config/config_stubs.cl. In there :

  • To add a new platform, extend the main if-else chain in the caml_config_target_os function to include your OS.

  • To add a new architecture, extend the main if-else chain in the caml_config_target_arch function to include your architecture.

Dependencies (5)

  1. dune >= "3.11"
  2. spices >= "0.0.2"
  3. sedlex >= "3.2"
  4. ppxlib >= "0.31.0"
  5. ocaml >= "5.1" & < "5.2"

Dev Dependencies (1)

  1. odoc with-doc

Used by (3)

  1. gluon
  2. libc
  3. riot >= "0.0.8"

Conflicts

None

OCaml

Innovation. Community. Security.