From d821bbe66596b402a93c3189d5497e4d287f6a83 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 14 Nov 2019 19:48:38 +0000
Subject: Support proper Quartus Pro version

---
 src/Verismith/Config.hs | 30 +++++++++++++++++++-----------
 1 file changed, 19 insertions(+), 11 deletions(-)

(limited to 'src/Verismith/Config.hs')

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))
-- 
cgit