1 # -fwarn-incomplete-patterns
3 ghc = ../../../inplace/bin/ghc-stage2
5 ghc_opt := -Werror -odir .build -hidir .build
11 #sanity += BiGArrow.hs
13 sanity += CircuitExample.hs
14 sanity += CommandSyntaxExample.hs
15 sanity += DotProduct.hs
16 sanity += GArrowTutorial.hs
17 sanity += GArrowVerilog.hs
18 sanity += ImmutableHeap.hs
19 sanity += IsomorphismForCodeTypes.hs
20 sanity += LambdaCalculusInterpreter.hs
21 sanity += TypeSafeRun.hs
22 #sanity += Unflattening.hs
24 sanity_opts = -dcore-lint -fforce-recomp -fcoqpass -ddump-coqpass -ddump-to-file
25 sanity_opts += -fsimpleopt-before-flatten
26 sanity_opts += -odir .build -hidir .build
29 for A in $(sanity); do echo; echo; $(ghc) $(sanity_opts) $$A +RTS -K500M || exit -1; done
32 $(ghc) $(ghc_opt) -main-is GArrowPretty GArrowPretty.hs -o GArrowPretty
35 $(ghc) $(ghc_opt) -main-is GArrowVerilog GArrowVerilog.hs -o GArrowVerilog
39 $(ghc) $(sanity_opts) -c VerilogDemo.hs
40 $(ghc) $(ghc_opt) -main-is GArrowVerilog GArrowVerilog.hs -o GArrowVerilog
45 $(ghc) $(ghc_opt) -c Demo.hs -fforce-recomp
46 $(ghc) $(ghc_opt) --show-iface .build/Demo.hi
47 $(ghc) $(ghc_opt) GArrowTikZ.hs Demo.hs DemoMain.hs Unify.hs -o .build/demo
48 ./.build/demo > .build/test.tex
49 cd .build; TEXINPUTS=../tex-bits/:$TEXINPUTS: pdflatex test.tex