summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorpukkamustard <pukkamustard@posteo.net>2021-08-09 07:19:03 +0000
committerJulien Lepiller <julien@lepiller.eu>2021-08-20 23:51:11 +0200
commit33a1ec29fa0ad72c61cef13c8af08c847eb399c1 (patch)
tree4797ea1b143dc49e50b23be970d1df32b5c6a8bb /doc
parent777ce1485749cc3dbe178fcc1e0654a7e74900c5 (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.texi7
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@*
94Copyright @copyright{} 2021 Raghav Gururajan@* 94Copyright @copyright{} 2021 Raghav Gururajan@*
95Copyright @copyright{} 2021 Domagoj Stolfa@* 95Copyright @copyright{} 2021 Domagoj Stolfa@*
96Copyright @copyright{} 2021 Hui Lu@* 96Copyright @copyright{} 2021 Hui Lu@*
97Copyright @copyright{} 2021 pukkamustard@*
97 98
98Permission is granted to copy, distribute and/or modify this document 99Permission is granted to copy, distribute and/or modify this document
99under the terms of the GNU Free Documentation License, Version 1.3 or 100under 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
7731is useful when a package contains multiple packages and you want to build 7732is useful when a package contains multiple packages and you want to build
7732only one of them. This is equivalent to passing the @code{-p} argument to 7733only one of them. This is equivalent to passing the @code{-p} argument to
7733@code{dune}. 7734@code{dune}.
7735
7736The @code{#:profile} parameter can be passed to specify the
7737@uref{https://dune.readthedocs.io/en/stable/dune-files.html#profile,
7738dune build profile}. This is equivalent to passing the @code{--profile}
7739argument 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