/usr/lib/mlton/sml/mlnlffi-lib/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 | PATH := ../bin:$(shell echo $$PATH)
CC := gcc -std=gnu99
CFLAGS := -Wall
EXE :=
TARGET_ARCH := $(shell ../../bin/host-arch)
TARGET_OS := $(shell ../../bin/host-os)
ifeq ($(TARGET_OS), cygwin)
EXE := .exe
endif
ifeq ($(TARGET_OS), mingw)
EXE := .exe
endif
.DELETE_ON_ERROR:
all: memory/platform/rtld-flags.$(TARGET_OS).sml
memory/platform/rtld-flags.$(TARGET_OS).sml: gen-rtld-flags.c
$(CC) $(CFLAGS) -o gen-rtld-flags gen-rtld-flags.c
./gen-rtld-flags > memory/platform/rtld-flags.$(TARGET_OS).sml
rm -f gen-rtld-flags$(EXE)
.PHONY: clean
clean:
../../bin/clean
|