diff options
Diffstat (limited to 'examples/big/MAP/Makefile')
| -rw-r--r-- | examples/big/MAP/Makefile | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/examples/big/MAP/Makefile b/examples/big/MAP/Makefile deleted file mode 100644 index 8586995a3..000000000 --- a/examples/big/MAP/Makefile +++ /dev/null @@ -1,20 +0,0 @@ -all: - make big - make gf - mv Big*.gf .. -gf: - ./mkBig - -big: - ghc --make MkBig -o mkBig -parser: - happy -gca ParLisp.y - alex -g LexLisp.x - latex DocLisp.tex; dvips DocLisp.dvi -o DocLisp.ps - ghc --make TestLisp.hs -o TestLisp -clean: - -rm -f *.log *.aux *.hi *.o *.dvi - -rm -f DocLisp.ps -distclean: clean - -rm -f DocLisp.* LexLisp.* ParLisp.* LayoutLisp.* SkelLisp.* PrintLisp.* TestLisp.* AbsLisp.* TestLisp ErrM.* SharedString.* Lisp.dtd XMLLisp.* Makefile* - |