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 /Makefile.am | |
| parent | 777ce1485749cc3dbe178fcc1e0654a7e74900c5 (diff) | |
| download | guix-33a1ec29fa0ad72c61cef13c8af08c847eb399c1.tar.gz | |
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 'Makefile.am')
0 files changed, 0 insertions, 0 deletions