ehmry/genode-ehmry
ehmry
/
genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Disable network fetches via config

This commit is contained in:
Ehmry - 2019-03-24 14:00:23 +01:00
parent 807832e242
commit dd258c6567
2 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
runtimes/soyuz/Tupfile
View File

@ -1,8 +1,7 @@
ifndef CONFIG_NO_NETWORK
include_rules
URL_BASE = https://ce.gl/ports/dist/soyuz
: |> wget --quiet $(URL_BASE)/%o |> soyuz.zip
: |> wget --quiet https://ce.gl/ports/dist/soyuz/%o |> soyuz.zip
: soyuz.zip \
|> unzip %f -d soyuz ; tar cf %o dosbox.conf soyuz ; rm -r soyuz \
@ -13,3 +12,5 @@ URL_BASE = https://ce.gl/ports/dist/soyuz
: {package} |> !publish_pkg |>
: {raw} |> !publish_raw |>
endif

7
runtimes/topbench/Tupfile
View File

@ -1,8 +1,7 @@
ifndef CONFIG_NO_NETWORK
include_rules
URL_BASE = https://github.com/MobyGamer/TOPBENCH/releases/download/0.38.h/
: |> wget --quiet $(URL_BASE)/%o |> TOPBV38H.ZIP {zip}
: |> wget --quiet https://github.com/MobyGamer/TOPBENCH/releases/download/0.38.h/%o |> TOPBV38H.ZIP {zip}
: {zip} \
|> unzip -L %f -d tmp ; tar cf %o -C tmp . ; rm -r tmp \
@ -13,3 +12,5 @@ URL_BASE = https://github.com/MobyGamer/TOPBENCH/releases/download/0.38.h/
: {package} |> !publish_pkg |>
: {raw} |> !publish_raw |>
endif