forked from formalize/coq-vyper
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Makefile.local
28 lines (19 loc) · 983 Bytes
/
Makefile.local
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
GHC=ghc -dynamic
ALEX=alex --ghc
HAPPY=happy --ghc
haskell/Lexer.hs: haskell/Lexer.x
${ALEX} haskell/Lexer.x
haskell/Parser.hs: haskell/Parser.y
${HAPPY} haskell/Parser.y
haskell/BuiltinsParser.hs: haskell/BuiltinsParser.y
${HAPPY} haskell/BuiltinsParser.y
haskell/Extracted.hs: Extract.vo Extract.vos Extract.glob
haskell/PatchedExtracted.hs: haskell/Extracted.hs
(cd haskell && patch -i fix-extraction.patch -o PatchedExtracted.hs)
haskell/GenerateBuiltinsTable: haskell/GenerateBuiltinsTable.hs haskell/PatchedExtracted.hs haskell/BuiltinsParser.hs
(cd haskell && ${GHC} GenerateBuiltinsTable.hs)
haskell/EmbeddedBuiltinsTable.hs: haskell/GenerateBuiltinsTable
(cd haskell && ./GenerateBuiltinsTable ../builtins.list EmbeddedBuiltinsTable.hs)
haskell/coq-vyperc: haskell/*.hs haskell/Lexer.hs haskell/Parser.hs haskell/PatchedExtracted.hs haskell/BuiltinsParser.hs haskell/EmbeddedBuiltinsTable.hs
(cd haskell && ${GHC} coq-vyperc.hs)
real-all: haskell/coq-vyperc