HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | CC := gcc |
| 2 | ||
| 3 | ###################################################################### | |
| 4 | ###################################################################### | |
| 5 | ||
| 6 | TARGET_ARCH := $(shell ../../bin/host-arch) | |
| 7 | TARGET_OS := $(shell ../../bin/host-os) | |
| 8 | ||
| 9 | EXE := | |
| 10 | ifeq ($(TARGET_OS), cygwin) | |
| 11 | EXE := .exe | |
| 12 | endif | |
| 13 | ifeq ($(TARGET_OS), mingw) | |
| 14 | EXE := .exe | |
| 15 | endif | |
| 16 | ||
| 17 | .DELETE_ON_ERROR: | |
| 18 | all: memory/platform/rtld-flags.$(TARGET_OS).sml | |
| 19 | ||
| 20 | CFLAGS := -Wall | |
| 21 | memory/platform/rtld-flags.$(TARGET_OS).sml: gen-rtld-flags.c | |
| 22 | $(CC) $(CFLAGS) -o gen-rtld-flags gen-rtld-flags.c | |
| 23 | ./gen-rtld-flags > memory/platform/rtld-flags.$(TARGET_OS).sml | |
| 24 | rm -f gen-rtld-flags$(EXE) | |
| 25 | ||
| 26 | .PHONY: clean | |
| 27 | clean: | |
| 28 | ../../bin/clean |