48 lines
1.9 KiB
Makefile
48 lines
1.9 KiB
Makefile
## File generated by the BNF Converter (bnfc 2.9.6.1).
|
|
|
|
# Makefile for building the parser and test program.
|
|
|
|
AGDA = agda
|
|
GHC = ghc
|
|
HAPPY = happy
|
|
HAPPY_OPTS = --array --info --ghc --coerce
|
|
ALEX = alex
|
|
ALEX_OPTS = --ghc
|
|
|
|
# List of goals not corresponding to file names.
|
|
|
|
.PHONY : all clean distclean
|
|
|
|
# Default goal.
|
|
|
|
all : Alisaie/Test Main
|
|
|
|
# Rules for building the parser.
|
|
|
|
Alisaie/Abs.hs Alisaie/Lex.x Alisaie/Par.y Alisaie/Print.hs Alisaie/Test.hs Alisaie/AST.agda Alisaie/Parser.agda Alisaie/IOLib.agda Alisaie/Main.agda : Alisaie.cf
|
|
bnfc --haskell -d --agda Alisaie.cf
|
|
|
|
%.hs : %.y
|
|
${HAPPY} ${HAPPY_OPTS} $<
|
|
|
|
%.hs : %.x
|
|
${ALEX} ${ALEX_OPTS} $<
|
|
|
|
Alisaie/Test : Alisaie/Abs.hs Alisaie/Lex.hs Alisaie/Par.hs Alisaie/Print.hs Alisaie/Test.hs
|
|
${GHC} ${GHC_OPTS} $@
|
|
|
|
Main : Alisaie/Main.agda Alisaie/AST.agda Alisaie/Parser.agda Alisaie/IOLib.agda Alisaie/ErrM.hs Alisaie/Lex.hs Alisaie/Par.hs Alisaie/Print.hs
|
|
${AGDA} --no-libraries --ghc --ghc-flag=-Wwarn $<
|
|
|
|
# Rules for cleaning generated files.
|
|
|
|
clean :
|
|
-rm -f Alisaie/*.hi Alisaie/*.o Alisaie/*.log Alisaie/*.aux Alisaie/*.dvi Alisaie/*.agdai
|
|
-rm -rf MAlonzo
|
|
|
|
distclean : clean
|
|
-rm -f Alisaie/Abs.hs Alisaie/Abs.hs.bak Alisaie/ComposOp.hs Alisaie/ComposOp.hs.bak Alisaie/Doc.txt Alisaie/Doc.txt.bak Alisaie/ErrM.hs Alisaie/ErrM.hs.bak Alisaie/Layout.hs Alisaie/Layout.hs.bak Alisaie/Lex.x Alisaie/Lex.x.bak Alisaie/Par.y Alisaie/Par.y.bak Alisaie/Print.hs Alisaie/Print.hs.bak Alisaie/Skel.hs Alisaie/Skel.hs.bak Alisaie/Test.hs Alisaie/Test.hs.bak Alisaie/XML.hs Alisaie/XML.hs.bak Alisaie/AST.agda Alisaie/AST.agda.bak Alisaie/Parser.agda Alisaie/Parser.agda.bak Alisaie/IOLib.agda Alisaie/IOLib.agda.bak Alisaie/Main.agda Alisaie/Main.agda.bak Alisaie/Alisaie.dtd Alisaie/Alisaie.dtd.bak Alisaie/Test Alisaie/Lex.hs Alisaie/Par.hs Alisaie/Par.info Alisaie/ParData.hs Main Makefile
|
|
-rmdir -p Alisaie/
|
|
|
|
# EOF
|