diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-14 19:48:38 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-14 19:48:38 +0000 |
commit | d821bbe66596b402a93c3189d5497e4d287f6a83 (patch) | |
tree | 382294b18359953bef5e9205690f1000c08b7bd8 /src/Verismith/Config.hs | |
parent | 7a9d412a378a8bbf2f68b44504a1df148c2837cc (diff) | |
download | verismith-d821bbe66596b402a93c3189d5497e4d287f6a83.tar.gz verismith-d821bbe66596b402a93c3189d5497e4d287f6a83.zip |
Support proper Quartus Pro version
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)) |