| 1 | ## Copyright (C) 2009,2013,2018 Matthew Fluet. |
| 2 | # Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh |
| 3 | # Jagannathan, and Stephen Weeks. |
| 4 | # Copyright (C) 1997-2000 NEC Research Institute. |
| 5 | # |
| 6 | # MLton is released under a BSD-style license. |
| 7 | # See the file MLton-LICENSE for details. |
| 8 | ## |
| 9 | |
| 10 | MLTON_RUNTIME_ARGS := |
| 11 | MLTON_COMPILE_ARGS := |
| 12 | |
| 13 | DIFF := diff |
| 14 | |
| 15 | ###################################################################### |
| 16 | ###################################################################### |
| 17 | |
| 18 | SRC := $(shell cd .. && pwd) |
| 19 | BUILD := $(SRC)/build |
| 20 | BIN := $(BUILD)/bin |
| 21 | |
| 22 | PATH := $(BIN):$(shell echo $$PATH) |
| 23 | |
| 24 | TARGET := self |
| 25 | |
| 26 | ###################################################################### |
| 27 | |
| 28 | MLTON := mlton |
| 29 | NAME := mlyacc |
| 30 | |
| 31 | all: $(NAME) |
| 32 | |
| 33 | $(NAME): $(NAME).mlb $(shell PATH="$(BIN):$$PATH" && "$(MLTON)" -stop f $(NAME).mlb) |
| 34 | @echo 'Compiling $(NAME)' |
| 35 | "$(MLTON)" @MLton $(MLTON_RUNTIME_ARGS) -- $(MLTON_COMPILE_ARGS) -target $(TARGET) $(NAME).mlb |
| 36 | |
| 37 | .PHONY: clean |
| 38 | clean: |
| 39 | ../bin/clean |
| 40 | |
| 41 | |
| 42 | ifeq (mllex, $(shell if mllex >/dev/null 2>&1 || [ $$? != 127 ] ; then echo mllex; fi)) |
| 43 | MLLEX := mllex |
| 44 | else |
| 45 | ifeq (ml-lex, $(shell if ml-lex >/dev/null 2>&1 || [ $$? != 127 ] ; then echo ml-lex; fi)) |
| 46 | MLLEX := ml-lex |
| 47 | else |
| 48 | MLLEX := no-mllex |
| 49 | endif |
| 50 | endif |
| 51 | |
| 52 | src/yacc.lex.sml: src/yacc.lex |
| 53 | rm -f src/yacc.lex.sml && \ |
| 54 | $(MLLEX) src/yacc.lex && \ |
| 55 | chmod -w src/yacc.lex.sml |
| 56 | |
| 57 | |
| 58 | ifeq (mlyacc, $(shell if mlyacc >/dev/null 2>&1 || [ $$? != 127 ] ; then echo mlyacc; fi)) |
| 59 | MLYACC := mlyacc |
| 60 | else |
| 61 | ifeq (ml-yacc, $(shell if ml-lex >/dev/null 2>&1 || [ $$? != 127 ] ; then echo ml-yacc; fi)) |
| 62 | MLYACC := ml-yacc |
| 63 | else |
| 64 | MLYACC := no-mlyacc |
| 65 | endif |
| 66 | endif |
| 67 | |
| 68 | src/%.grm.sig src/%.grm.sml: src/%.grm |
| 69 | rm -f $<.* |
| 70 | $(MLYACC) $< |
| 71 | chmod -w $<.* |
| 72 | |
| 73 | |
| 74 | PDFLATEX := pdflatex |
| 75 | |
| 76 | doc/mlyacc.pdf: |
| 77 | $(MAKE) -C doc mlyacc.pdf |
| 78 | |
| 79 | mlyacc.pdf: doc/mlyacc.pdf |
| 80 | cp doc/mlyacc.pdf . |
| 81 | |
| 82 | DOCS := |
| 83 | ifneq ($(shell which $(PDFLATEX) 2> /dev/null),) |
| 84 | DOCS += mlyacc.pdf |
| 85 | endif |
| 86 | |
| 87 | .PHONY: docs |
| 88 | docs: $(DOCS) |
| 89 | |
| 90 | |
| 91 | .PHONY: test |
| 92 | test: $(NAME) |
| 93 | cp -p ../mlton/front-end/ml.grm . \ |
| 94 | $(NAME) ml.grm && \ |
| 95 | $(DIFF) ml.grm.sig ../mlton/front-end/ml.grm.sig && \ |
| 96 | $(DIFF) ml.grm.sml ../mlton/front-end/ml.grm.sml \ |
| 97 | rm -f ml.grm ml.grm.sig ml.grm.sml ml.grm.desc |