/usr/lib/mlton/sml/basis/Makefile is in mlton-basis 20130715-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 72 | ## Copyright (C) 2010,2013 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
RESOLVE_SCOPES = program topdec strdec dec
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 resolvescope in $(RESOLVE_SCOPES); do \
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: $$resolvescope $$objptrrep $$header $$seqindex $$defchar $$defint $$defreal $$defword"; \
echo "$(MLTON)" -disable-ann deadCode -disable-ann resolveScope -default-ann "\"resolveScope $$resolvescope\"" -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 -disable-ann resolveScope -default-ann "resolveScope $$resolvescope" -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; done;
|