On 9 Dec, Jim Jagielski wrote: > > >> On Dec 9, 2020, at 9:56 AM, Mechtilde <o...@mechtilde.de> wrote: >> >> Hello Jim, >> >>> >>> So I was thinking we just have these 3: >>> >>> --with-epm >>> --with-dmake >>> --with-beanshell >> >> I want to differ whether we build with system version or with separate >> version like in ext_sources. > > Can you provide an example? > > For example, say we want to use the system version of dmake... We could do > either > > --with-dmake > > which would look in the user's $PATH for dmake and use that one; or they > could do > > --with-dmake=/opt/local/bin/dmake > > which would use the system version located in /opt/local/bin > > If instead, one used: > > > --with-dmake=https://github.com/jimjag/dmake/archive/v4.13.1/dmake-4.13.1.tar.gz > > It would download that distro and build and not use any local/system versions. > > Does that make it more clear?
For dmake, we always need it, so --without-dmake would neve make sense. For the path vs. url cases, we would need to add code to parse the argument to decide whether we need need to do a download and build and point the path at the result of the build, or whether we can just use the argument as a full path. In addition to https, the URL could theoretically be ftp or a local file. This touches both configure and bootstrap. I haven't looked at the beanshell stuff enough to comment. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org For additional commands, e-mail: dev-h...@openoffice.apache.org