I applied this patch and tried to build it (./scripts/build image=elixir)
and it failed with this:
elixir-1.0.5/lib/mix/test/test_helper.exs
elixir-1.0.5/rebar
elixir-1.0.5/rebar.config
elixir-1.0.5/src/
elixir-1.0.5/src/elixir.app.src
make -C elixir-1.0.5 clean
make[1]: Entering directory
'/home/wkozaczuk/projects/osv/apps/elixir/elixir-1.0.5'
cd lib/elixir && ../../rebar clean
/usr/bin/env: ‘escript’: No such file or directory
Makefile:113: recipe for target 'clean' failed
make[1]: *** [clean] Error 127
make[1]: Leaving directory
'/home/wkozaczuk/projects/osv/apps/elixir/elixir-1.0.5'
Makefile:16: recipe for target 'compile' failed
make: *** [compile] Error 2
Traceback (most recent call last):
File "scripts/module.py", line 281, in <module>
args.func(args)
File "scripts/module.py", line 234, in build
make_modules(modules, args)
File "scripts/module.py", line 124, in make_modules
raise Exception('make failed for ' + module.name)
Exception: make failed for elixir
./scripts/build failed: jdkbase=$jdkbase ARCH=$arch mode=$mode
OSV_BASE=$SRC OSV_BUILD_PATH=$OSV_BUILD_PATH scripts/module.py $j_arg build
-c $modules $usrskel_arg $no_required_arg
On Tuesday, January 16, 2018 at 2:43:54 PM UTC-5, Geraldo Netto wrote:
>
> Signed-off-by: geraldo netto <[email protected] <javascript:>>
> ---
> elixir/Makefile | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/elixir/Makefile b/elixir/Makefile
> index c6de0d5..a6928d0 100644
> --- a/elixir/Makefile
> +++ b/elixir/Makefile
> @@ -6,7 +6,7 @@ all: install
> module: install
>
> elixir-$(ELIXIR_VERSION).tar.gz:
> - wget -O "[email protected]" "
> https://github.com/elixir-lang/elixir/archive/v$(ELIXIR_VERSION).tar.gz"
> + wget -c -O "[email protected]" "
> https://github.com/elixir-lang/elixir/archive/v$(ELIXIR_VERSION).tar.gz"
> mv "[email protected]" "$@"
>
> elixir-$(ELIXIR_VERSION): elixir-$(ELIXIR_VERSION).tar.gz
> --
> 2.7.4
>
>
--
You received this message because you are subscribed to the Google Groups "OSv
Development" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
