diff options
author | pukkamustard <pukkamustard@posteo.net> | 2021-08-09 07:19:03 +0000 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2021-08-20 23:51:11 +0200 |
commit | 33a1ec29fa0ad72c61cef13c8af08c847eb399c1 (patch) | |
tree | 4797ea1b143dc49e50b23be970d1df32b5c6a8bb /gnu/packages/dhall.scm | |
parent | 777ce1485749cc3dbe178fcc1e0654a7e74900c5 (diff) |
guix: dune-build-system: Add a profile parameter.
* guix/build-system/dune.scm: Add a profile parameter.
* guix/build/dune-build-system.scm (build): Use it.
* doc/guix.texi: Document it.
* gnu/packages/ocaml.scm: Remove profile being set from build flags.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'gnu/packages/dhall.scm')
0 files changed, 0 insertions, 0 deletions