diff options
author | Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com> | 2018-05-13 19:51:07 +0200 |
---|---|---|
committer | Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com> | 2018-05-13 19:51:07 +0200 |
commit | bdc72de514f63440a634d011faedfbeef770ed1f (patch) | |
tree | 031e4e503ee9135c0f8087d96140b9c3cddae588 /Makefile |
Initial commit
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..b32ae73 --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ +all: bnfc parser interpreter + # ghc -dynamic --make Parser/TestSchmim.hs -o Parser/TestSchmim + +bnfc: + bnfc -haskell -p Parser schmim.bnfc + +parser: bnfc + happy -gca Parser/ParSchmim.y + alex -g Parser/LexSchmim.x + +interpreter: parser bnfc + ghc -dynamic Schmim.hs -o interpreter + +clean: + -rm -f Parser/*.log Parser/*.aux Parser/*.hi Parser/*.o Parser/*.dvi *.o *.hi interpreter |