forked from Yehowshua/RiscV-Formal
8 lines
151 B
Haskell
8 lines
151 B
Haskell
|
|
||
|
|
import Prelude
|
||
|
|
import System.Environment (getArgs)
|
||
|
|
import Clash.Main (defaultMain)
|
||
|
|
|
||
|
|
main :: IO ()
|
||
|
|
main = getArgs >>= defaultMain . ("--interactive":)
|