Dhallification

2019-07-17 16:34:35 +02:00 · 2019-07-17 16:34:35 +02:00 · ec97021585
commit ec97021585
parent afd0ee94e9
4 changed files with 7 additions and 5 deletions
--- a/index.dhall
+++ b/index.dhall
@ -87,6 +87,7 @@ let index =
      , content =
          [ emu
          , games
+          , streams
          , utilities
          , XML.text
            "<pkg path=\"cnuke/pkg/bsd_audio_drv/2019-07-02\" info=\"OpenBSD audio driver\"/>"
--- a/libretro/cores/snes9x/pkg.dhall
+++ b/libretro/cores/snes9x/pkg.dhall
@ -1,4 +1,6 @@
-let XML = (env:DHALL_GENODE).Prelude.XML
+let Genode = env:DHALL_GENODE
+
+let XML = Genode.Prelude.XML

 let defaults = ./../../pkgDefaults.dhall

--- a/runtimes/icy-streams/Tuprules.tup
+++ b/runtimes/icy-streams/Tuprules.tup
@ -1,10 +1,9 @@
 PKG_DEPENDS += \
+	ehmry/src/mp3_audio_sink/19.02 \
 	@(PUBLIC_SRC_LIBC) \
+	@(PUBLIC_SRC_LIBMPG123) \
 	@(PUBLIC_SRC_VFS_LWIP) \
 	@(PUBLIC_SRC_ZLIB) \
-	@(PUBLIC_SRC_ZLIB) \
-	ehmry/src/mp3_audio_sink/19.02 \
 	_/src/icy_client \
 	_/src/init \
-	_/src/mpg123 \
 	_/src/vfs \
--- a/runtimes/icy-streams/pkg.dhall
+++ b/runtimes/icy-streams/pkg.dhall
@ -24,7 +24,7 @@ let config =
            , "init"
            , "libc.lib.so"
            , "libm.lib.so"
-            , "mpg123.lib.so"
+            , "libmpg123.lib.so"
            , "mp3_audio_sink"
            , "vfs.lib.so"
            , "vfs_lwip.lib.so"