<commit_before>module Ivory.OS.FreeRTOS
  ( kernel
  , wrapper
  , objects
  , Config(..)
  , defaultConfig
  ) where

import System.FilePath
import qualified Paths_ivory_freertos_bindings as P
import Ivory.Artifact
import Ivory.OS.FreeRTOS.Config

kernel :: Config -> [Artifact]
kernel conf = configHeader conf : kas
  where
  kas = map (artifactCabalFile P.getDataDir) kernelfiles

wrapper :: [Artifact]
wrapper = map (artifactCabalFile P.getDataDir) wrapperfiles

wrapperfiles :: [FilePath]
wrapperfiles =
  [ "wrapper/freertos_atomic_wrapper.h"
  , "wrapper/freertos_atomic_wrapper.c"
  , "wrapper/freertos_semaphore_wrapper.h"
  , "wrapper/freertos_semaphore_wrapper.c"
  , "wrapper/freertos_task_wrapper.h"
  , "wrapper/freertos_task_wrapper.c"
  , "wrapper/freertos_time_wrapper.h"
  , "wrapper/freertos_time_wrapper.c"
  ]

kernelfiles :: [FilePath]
kernelfiles =
  [ "freertos-sources/croutine.c"
  , "freertos-sources/list.c"
  , "freertos-sources/queue.c"
  , "freertos-sources/tasks.c"
  , "freertos-sources/timers.c"
  , "freertos-sources/include/FreeRTOS.h"
  , "freertos-sources/include/StackMacros.h"
  , "freertos-sources/include/croutine.h"
  , "freertos-sources/include/list.h"
  , "freertos-sources/include/mpu_wrappers.h"
  , "freertos-sources/include/portable.h"
  , "freertos-sources/include/projdefs.h"
  , "freertos-sources/include/queue.h"<commit_msg>ivory-freertos-bindings: we can safely leave croutine files out of the build.<commit_after>module Ivory.OS.FreeRTOS
  ( kernel
  , wrapper
  , objects
  , Config(..)
  , defaultConfig
  ) where

import System.FilePath
import qualified Paths_ivory_freertos_bindings as P
import Ivory.Artifact
import Ivory.OS.FreeRTOS.Config

kernel :: Config -> [Artifact]
kernel conf = configHeader conf : kas
  where
  kas = map (artifactCabalFile P.getDataDir) kernelfiles

wrapper :: [Artifact]
wrapper = map (artifactCabalFile P.getDataDir) wrapperfiles

wrapperfiles :: [FilePath]
wrapperfiles =
  [ "wrapper/freertos_atomic_wrapper.h"
  , "wrapper/freertos_atomic_wrapper.c"
  , "wrapper/freertos_semaphore_wrapper.h"
  , "wrapper/freertos_semaphore_wrapper.c"
  , "wrapper/freertos_task_wrapper.h"
  , "wrapper/freertos_task_wrapper.c"
  , "wrapper/freertos_time_wrapper.h"
  , "wrapper/freertos_time_wrapper.c"
  ]

kernelfiles :: [FilePath]
kernelfiles =
  [ "freertos-sources/list.c"
  , "freertos-sources/queue.c"
  , "freertos-sources/tasks.c"
  , "freertos-sources/timers.c"
  , "freertos-sources/include/FreeRTOS.h"
  , "freertos-sources/include/StackMacros.h"
  , "freertos-sources/include/list.h"
  , "freertos-sources/include/mpu_wrappers.h"
  , "freertos-sources/include/portable.h"
  , "freertos-sources/include/projdefs.h"
  , "freertos-sources/include/queue.h"
{'fraction_non_alphanumeric': 0.12582056892778992, 'fraction_numerical': 0.0, 'mean_word_length': 4.6094069529652355, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3863617', 'n_tokens_mistral': 1057, 'n_tokens_neox': 1053, 'n_words': 141}