luke
/
sv2v
mirror of https://github.com/zachjs/sv2v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

updated build procedure

This commit is contained in:
Zachary Snow 2019-02-08 16:51:32 -05:00
parent fb8f088bad
commit 0f2638075b
3 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -1,2 +1,3 @@
*.swp
dist/
bin/

5
Makefile
View File

@ -9,8 +9,11 @@ Language/SystemVerilog/Parser/Parse.hs: Language/SystemVerilog/Parser/Parse.y
happy -agc Language/SystemVerilog/Parser/Parse.y -o Language/SystemVerilog/Parser/Parse.hs
sv2v: Language/SystemVerilog/Parser/Lex.hs Language/SystemVerilog/Parser/Parse.hs
cabal install
cabal build
mkdir -p bin
cp dist/build/sv2v/sv2v bin/sv2v
clean:
rm -rfy bin/sv2v
rm -f Language/SystemVerilog/Parser/Lex.hs
rm -f Language/SystemVerilog/Parser/Parse.hs

7
sv2v.cabal
View File

@ -49,7 +49,14 @@ executable sv2v
array,
base
other-modules:
Data.BitVec
Language.SystemVerilog
Language.SystemVerilog.AST
Language.SystemVerilog.Parser
Language.SystemVerilog.Parser.Lex
Language.SystemVerilog.Parser.Parse
Language.SystemVerilog.Parser.Preprocess
Language.SystemVerilog.Parser.Tokens
ghc-options:
-O3
-threaded