Cabalization

ChangeLog.md

@@ -0,0 +1,5 @@
+# Revision history for riscv-semantics
+
+## 0.1.0.0  -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.

Setup.hs

@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain

riscv-semantics.cabal

@@ -0,0 +1,24 @@
+-- Initial riscv-semantics.cabal generated by cabal init.  For further 
+-- documentation, see http://haskell.org/cabal/users-guide/
+
+name:                riscv-semantics
+version:             0.1.0.0
+-- synopsis:            
+-- description:         
+license:             BSD3
+license-file:        LICENSE
+author:              MIT
+maintainer:          [email protected] [email protected] [email protected]
+-- copyright:           
+-- category:            
+build-type:          Simple
+extra-source-files:  ChangeLog.md, README.md
+cabal-version:       >=1.10
+
+executable riscv-semantics
+  main-is:             Main.hs
+  -- other-modules:       
+  other-extensions:    MultiParamTypeClasses, FlexibleInstances, MultiWayIf, FunctionalDependencies, ScopedTypeVariables, NamedFieldPuns
+  build-depends:       base >=4.9 && <4.10, mtl >=2.2 && <2.3, transformers >=0.5 && <0.6, containers >=0.5 && <0.6, bytestring >=0.10 && <0.11, text >=1.2 && <1.3
+  hs-source-dirs:      src
+  default-language:    Haskell2010

src/Main.hs

@@ -0,0 +1,5 @@
+import qualified Run as R
+module Main where
+
+main :: IO ()
+main = R.run