Re: [gentoo-dev] [PATCH] eclass/dune.eclass: fixes

2021-12-09 Thread Maciej Barć
> IIUC, the space separated list of arguments is assigned to pkgs, with > a fallback to ${DUNE_PKG_NAME}. The 'for pkg in "${pkgs}"' loop isn't > actually a loop because ${pkgs} is inside double quotes, so it will be > executed only once with pkg being equal to pkgs. Yes, you are right, I was

Re: [gentoo-dev] [PATCH] eclass/dune.eclass: fixes

2021-12-08 Thread Ulrich Mueller
> On Thu, 09 Dec 2021, Maciej Barć wrote: > dune-install() { > + local pkgs > + if [[ -n "${@}" ]] ; then > + pkgs="${@}" > + else > + pkgs=${DUNE_PKG_NAME} > + fi > + > + local myduneopts=( > + --prefix="${ED%/}/usr" > +

[gentoo-dev] [PATCH] eclass/dune.eclass: fixes

2021-12-08 Thread Maciej Barć
bump to EAPI 8 drop support for EAPI 5 set DUNE_PKG_NAME to PN by default move "Move docs to the appropriate place" block to dune-install to make dune-install now handle a list of subpackages correctly Signed-off-by: Maciej Barć --- eclass/dune.eclass | 37 ++---