This commit changes many aspect of our cmake build system - shared libraries are compiled by default: * this modifies RPATH of unix executables; * this will prevent a lot of linking issues, esp. from pascal world; * the old behaviour (static libs) is still available with -DBUILD_SHARED_LIBS=off; * of course in this case you have to provide the full list of dependencies with FPFLAGS and CMAKE_C_FLAGS; - pascal is now fully integrated with cmake, meaning you can just do add_sources and use CMAKE_Pascal_FLAGS: * some of the language features are only partially implemented, for example .inc files will not get rebuilt if you modify them; * target_link_libraries for pascal targets is just dummy as linking is determined within pascal files; * universal builds for osx are not available any more; - bundled libraries and system libraries are addressed using the target name: * this avoids depedency tracking; * this allows to name output as we wish.

     1

{-# LANGUAGE OverloadedStrings #-}

     2

module HWProtoChecker where

     3

     4

import Data.Maybe

     5

import Control.Monad.Reader

     6

--------------------------------------

     7

import CoreTypes

     8

import Actions

     9

import HandlerUtils

    10

    11

    12

handleCmd_checker :: CmdHandler

    13

    14

handleCmd_checker ["READY"] = return [CheckRecord]

    15

    16

handleCmd_checker ["CHECKED", "FAIL", msg] = do

    17

    isChecking <- liftM (isJust . checkInfo) thisClient

    18

    if not isChecking then

    19

        return []

    20

        else

    21

        return [CheckFailed msg, ModifyClient $ \c -> c{checkInfo = Nothing}]

    22

    23

    24

handleCmd_checker ("CHECKED" : "OK" : info) = do

    25

    isChecking <- liftM (isJust . checkInfo) thisClient

    26

    if not isChecking then

    27

        return []

    28

        else

    29

        return [CheckSuccess info, ModifyClient $ \c -> c{checkInfo = Nothing}]

    30

    31

handleCmd_checker _ = return [ProtocolError "Unknown command"]