diff options
Diffstat (limited to 'src/Verismith/Config.hs')
| -rw-r--r-- | src/Verismith/Config.hs | 30 |
1 files changed, 19 insertions, 11 deletions
diff --git a/src/Verismith/Config.hs b/src/Verismith/Config.hs index decf1fb..66a8560 100644 --- a/src/Verismith/Config.hs +++ b/src/Verismith/Config.hs @@ -36,6 +36,7 @@ module Verismith.Config , fromYosys , fromVivado , fromQuartus + , fromQuartusLight , configProbability , configProperty , configSimulators @@ -79,20 +80,21 @@ module Verismith.Config ) where -import Control.Applicative (Alternative) -import Control.Lens hiding ((.=)) -import Data.List.NonEmpty (NonEmpty (..)) -import Data.Maybe (fromMaybe) -import Data.Text (Text, pack) -import qualified Data.Text.IO as T -import Data.Version (showVersion) +import Control.Applicative (Alternative) +import Control.Lens hiding ((.=)) +import Data.List.NonEmpty (NonEmpty (..)) +import Data.Maybe (fromMaybe) +import Data.Text (Text, pack) +import qualified Data.Text.IO as T +import Data.Version (showVersion) import Development.GitRev -import Hedgehog.Internal.Seed (Seed) -import Paths_verismith (version) -import Shelly (toTextIgnore) -import Toml (TomlCodec, (.=)) +import Hedgehog.Internal.Seed (Seed) +import Paths_verismith (version) +import Shelly (toTextIgnore) +import Toml (TomlCodec, (.=)) import qualified Toml import Verismith.Tool.Quartus +import Verismith.Tool.QuartusLight import Verismith.Tool.Vivado import Verismith.Tool.XST import Verismith.Tool.Yosys @@ -287,6 +289,12 @@ fromQuartus (Quartus a b c) = SynthDescription "quartus" (Just b) (Just $ toTextIgnore c) +fromQuartusLight :: QuartusLight -> SynthDescription +fromQuartusLight (QuartusLight a b c) = SynthDescription "quartuslight" + (toTextIgnore <$> a) + (Just b) + (Just $ toTextIgnore c) + defaultConfig :: Config defaultConfig = Config (Info (pack $(gitHash)) (pack $ showVersion version)) |