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.
{-# LANGUAGE OverloadedStrings #-}
module HWProtoChecker where
import Data.Maybe
import Control.Monad.Reader
--------------------------------------
import CoreTypes
import Actions
import HandlerUtils
handleCmd_checker :: CmdHandler
handleCmd_checker ["READY"] = return [CheckRecord]
handleCmd_checker ["CHECKED", "FAIL", msg] = do
isChecking <- liftM (isJust . checkInfo) thisClient
if not isChecking then
return []
else
return [CheckFailed msg, ModifyClient $ \c -> c{checkInfo = Nothing}]
handleCmd_checker ("CHECKED" : "OK" : info) = do
isChecking <- liftM (isJust . checkInfo) thisClient
if not isChecking then
return []
else
return [CheckSuccess info, ModifyClient $ \c -> c{checkInfo = Nothing}]
handleCmd_checker _ = return [ProtocolError "Unknown command"]