diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:57:42 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:57:42 +0100 |
commit | 1798c4aeca70ac8d0a243684d6a798fbc65735f8 (patch) | |
tree | e48e19cb6fa03de18e1c63e1a93371b7ebc4eb56 /dev-lang/mlton/files/mlton-20180207-paxmark.patch | |
parent | d87262dd706fec50cd150aab3e93883b6337466d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-lang/mlton/files/mlton-20180207-paxmark.patch')
-rw-r--r-- | dev-lang/mlton/files/mlton-20180207-paxmark.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/dev-lang/mlton/files/mlton-20180207-paxmark.patch b/dev-lang/mlton/files/mlton-20180207-paxmark.patch deleted file mode 100644 index 00f4b84c7dc9..000000000000 --- a/dev-lang/mlton/files/mlton-20180207-paxmark.patch +++ /dev/null @@ -1,18 +0,0 @@ ---- mlton-20180207-orig/Makefile 2018-02-07 21:22:55.000000000 +1100 -+++ mlton-20180207/Makefile 2018-02-28 11:27:30.448517470 +1100 -@@ -51,6 +51,7 @@ - SED := sed - TAR := tar - XARGS := xargs -+PAXMARK := true - - ###################################################################### - ###################################################################### -@@ -97,6 +98,7 @@ - all: - $(MAKE) dirs runtime - $(MAKE) compiler CHECK_FIXPOINT=false # tools0 + mlton0 -> mlton1 -+ $(PAXMARK) -m lib/mlton/mlton-compile bin/mllex bin/mlyacc - $(MAKE) script basis-no-check constants basis-check libraries - $(MAKE) tools CHECK_FIXPOINT=false # tools0 + mlton1 -> tools1 - ifeq (true, $(findstring true,$(BOOTSTRAP) $(CHECK_FIXPOINT))) |