From d232c20030db23c00c20b01f87fab1c4e5dbd6f3 Mon Sep 17 00:00:00 2001 From: Ilya Yanok Date: Sun, 26 Aug 2018 17:24:29 +0200 Subject: [PATCH] haskell: add missing modules to the cabal file --- spec/haskell/SEL4.cabal | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/spec/haskell/SEL4.cabal b/spec/haskell/SEL4.cabal index f61d4ef93..50f187e8b 100644 --- a/spec/haskell/SEL4.cabal +++ b/spec/haskell/SEL4.cabal @@ -94,15 +94,15 @@ Library Data.Helpers Data.WordLib - SEL4.Machine.Hardware.GICInterface - SEL4.Machine.Hardware.MCTInterface - SEL4.Machine.Hardware.MPTimerInterface if flag(ArchArm) other-modules: SEL4.Machine.Hardware.ARM.KZM SEL4.Machine.Hardware.ARM.Exynos4210 SEL4.Machine.Hardware.ARM.Sabre SEL4.Machine.Hardware.ARM.Callbacks + SEL4.Machine.Hardware.GICInterface + SEL4.Machine.Hardware.MCTInterface + SEL4.Machine.Hardware.MPTimerInterface SEL4.API.Types.ARM SEL4.API.InvocationLabels.ARM @@ -150,6 +150,8 @@ Library SEL4.API.Types.X64 SEL4.API.InvocationLabels.X64 SEL4.API.Invocation.X64 + SEL4.API.Failures.X64 + SEL4.API.Faults.X64 SEL4.Kernel.VSpace.X64 SEL4.Kernel.Thread.X64 SEL4.Kernel.Hypervisor.X64 @@ -170,6 +172,8 @@ Library SEL4.API.Types.RISCV64 SEL4.API.InvocationLabels.RISCV64 SEL4.API.Invocation.RISCV64 + SEL4.API.Failures.RISCV64 + SEL4.API.Faults.RISCV64 SEL4.Kernel.VSpace.RISCV64 SEL4.Kernel.Thread.RISCV64 SEL4.Kernel.Hypervisor.RISCV64