1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
## Copyright (C) 2010 Matthew Fluet.
# Copyright (C) 1999-2006, 2008 Henry Cejtin, Matthew Fluet, Suresh
# Jagannathan, and Stephen Weeks.
# Copyright (C) 1997-2000 NEC Research Institute.
#
# MLton is released under a BSD-style license.
# See the file MLton-LICENSE for details.
##
SRC = $(shell cd .. && pwd)
BUILD = $(SRC)/build
BIN = $(BUILD)/bin
MLTON = mlton
PATH = $(BIN):$(shell echo $$PATH)
all:
.PHONY: clean
clean:
../bin/clean
OBJPTR_MAPS = objptr-rep32.map objptr-rep64.map
HEADER_MAPS = header-word32.map header-word64.map
SEQINDEX_MAPS = seqindex-int32.map seqindex-int64.map
DEFAULT_CHAR = char8
DEFAULT_INT = int32 int64 intinf
DEFAULT_REAL = real32 real64
DEFAULT_WORD = word32 word64
.PHONY: def-use
def-use:
"$(MLTON)" -disable-ann deadCode -stop tc -show-types true \
-prefer-abs-paths true -show-def-use basis-library.def-use \
libs/all.mlb
.PHONY: type-check-def
type-check-def:
"$(MLTON)" -disable-ann deadCode -stop tc -show-types true \
libs/all.mlb
.PHONY: type-check-all
type-check-all:
for objptrrep in $(OBJPTR_MAPS); do \
for header in $(HEADER_MAPS); do \
for seqindex in $(SEQINDEX_MAPS); do \
for defchar in $(DEFAULT_CHAR); do \
for defint in $(DEFAULT_INT); do \
for defreal in $(DEFAULT_REAL); do \
for defword in $(DEFAULT_WORD); do \
echo "Type checking: $$objptrrep $$header $$seqindex $$defchar $$defint $$defreal $$defword"; \
echo "$(MLTON)" -disable-ann deadCode -stop tc -show-types true \
-mlb-path-map "maps/$$objptrrep" \
-mlb-path-map "maps/$$header" \
-mlb-path-map "maps/$$seqindex" \
-default-type "$$defchar" \
-default-type "$$defint" \
-default-type "$$defreal" \
-default-type "$$defword" \
libs/all.mlb; \
"$(MLTON)" -disable-ann deadCode -stop tc -show-types true \
-mlb-path-map "maps/$$objptrrep" \
-mlb-path-map "maps/$$header" \
-mlb-path-map "maps/$$seqindex" \
-default-type "$$defchar" \
-default-type "$$defint" \
-default-type "$$defreal" \
-default-type "$$defword" \
libs/all.mlb; \
done; done; done; done; done; done; done;
|
