From 0ea4fa96f4e6a1de27f50a97db9007e14958547d Mon Sep 17 00:00:00 2001 From: Profpatsch Date: Tue, 2 Apr 2019 12:10:28 +0200 Subject: pkgs/profpatsch: add dhall types for s6 servicedir First version of a way to build s6 services using `dhall-to-nix`. Includes a small library that formalizes the tables in `man 7 signal`. --- .../profpatsch/s6/dhall/unix/Signal/misc/alpha-sparc.dhall | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 pkgs/profpatsch/s6/dhall/unix/Signal/misc/alpha-sparc.dhall (limited to 'pkgs/profpatsch/s6/dhall/unix/Signal/misc/alpha-sparc.dhall') diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/misc/alpha-sparc.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/alpha-sparc.dhall new file mode 100644 index 00000000..2ce0b50d --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/alpha-sparc.dhall @@ -0,0 +1,14 @@ + { SIGIOT = + 6 + , SIGEMT = + 7 + , SIGIO = + 23 + , SIGPWR = + 29 + , SIGINFO = + 29 + , SIGWINCH = + 28 + } +: ./common-type.dhall ⩓ { SIGEMT : Natural, SIGINFO : Natural } \ No newline at end of file -- cgit 1.4.1