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 /doc | |
| 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 'doc')
| -rw-r--r-- | doc/guix.texi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 241a1824ec7..949d6d40926 100644 --- a/doc/guix.texi +++ b/doc/guix.texi | |||
| @@ -94,6 +94,7 @@ Copyright @copyright{} 2021 Xinglu Chen@* | |||
| 94 | Copyright @copyright{} 2021 Raghav Gururajan@* | 94 | Copyright @copyright{} 2021 Raghav Gururajan@* |
| 95 | Copyright @copyright{} 2021 Domagoj Stolfa@* | 95 | Copyright @copyright{} 2021 Domagoj Stolfa@* |
| 96 | Copyright @copyright{} 2021 Hui Lu@* | 96 | Copyright @copyright{} 2021 Hui Lu@* |
| 97 | Copyright @copyright{} 2021 pukkamustard@* | ||
| 97 | 98 | ||
| 98 | Permission is granted to copy, distribute and/or modify this document | 99 | Permission is granted to copy, distribute and/or modify this document |
| 99 | under the terms of the GNU Free Documentation License, Version 1.3 or | 100 | under the terms of the GNU Free Documentation License, Version 1.3 or |
| @@ -7731,6 +7732,12 @@ The @code{#:package} parameter can be passed to specify a package name, which | |||
| 7731 | is useful when a package contains multiple packages and you want to build | 7732 | is useful when a package contains multiple packages and you want to build |
| 7732 | only one of them. This is equivalent to passing the @code{-p} argument to | 7733 | only one of them. This is equivalent to passing the @code{-p} argument to |
| 7733 | @code{dune}. | 7734 | @code{dune}. |
| 7735 | |||
| 7736 | The @code{#:profile} parameter can be passed to specify the | ||
| 7737 | @uref{https://dune.readthedocs.io/en/stable/dune-files.html#profile, | ||
| 7738 | dune build profile}. This is equivalent to passing the @code{--profile} | ||
| 7739 | argument to @code{dune}. Its default value is @code{"release"}. | ||
| 7740 | |||
| 7734 | @end defvr | 7741 | @end defvr |
| 7735 | 7742 | ||
| 7736 | @defvr {Scheme Variable} go-build-system | 7743 | @defvr {Scheme Variable} go-build-system |
