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.
6 # MLton is released under a BSD-style license.
7 # See the file MLton-LICENSE for details.
15 ######################################################################
16 ######################################################################
18 SRC
:= $(shell cd ..
&& pwd
)
22 PATH
:= $(BIN
):$(shell echo
$$PATH)
26 ######################################################################
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
44 lexgen.pdf
: lexgen.
tex
45 $(PDFLATEX
) lexgen.
tex
46 $(PDFLATEX
) lexgen.
tex
47 $(PDFLATEX
) lexgen.
tex
50 cp lexgen.pdf mllex.pdf
53 ifneq ($(shell which
$(PDFLATEX
) 2> /dev
/null
),)
63 cp
-p ..
/mlton
/front-end
/ml.
lex . \
65 $(DIFF
) ml.
lex.sml ..
/mlton
/front-end
/ml.
lex.sml \
66 rm -f ml.
lex ml.
lex.sml