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-bootstrap.patch | |
parent | d87262dd706fec50cd150aab3e93883b6337466d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-lang/mlton/files/mlton-20180207-bootstrap.patch')
-rw-r--r-- | dev-lang/mlton/files/mlton-20180207-bootstrap.patch | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/dev-lang/mlton/files/mlton-20180207-bootstrap.patch b/dev-lang/mlton/files/mlton-20180207-bootstrap.patch deleted file mode 100644 index 5287a809f5aa..000000000000 --- a/dev-lang/mlton/files/mlton-20180207-bootstrap.patch +++ /dev/null @@ -1,27 +0,0 @@ ---- mlton-20180207-orig/Makefile 2018-02-07 21:22:55.000000000 +1100 -+++ mlton-20180207/Makefile 2018-02-28 11:28:00.639642560 +1100 -@@ -137,18 +137,22 @@ - .PHONY: bootstrap-smlnj - bootstrap-smlnj: - $(MAKE) smlnj-mlton -- $(RM) "$(BIN)/mlton" -+ $(MV) "$(BIN)/mlton" "$(BIN)/mlton.mlton" -+ $(CP) "$(BIN)/mlton.smlnj" "$(BIN)/mlton" - $(MAKE) BOOTSTRAP_MLTON=mlton.smlnj all - smlnj_heap_suffix=`echo 'TextIO.output (TextIO.stdErr, SMLofNJ.SysInfo.getHeapSuffix ());' | sml 2>&1 1> /dev/null` && $(RM) "$(LIB)/mlton/mlton-smlnj.$$smlnj_heap_suffix" - $(RM) "$(BIN)/mlton.smlnj" -+ $(MV) "$(BIN)/mlton.mlton" "$(BIN)/mlton" - - .PHONY: bootstrap-polyml - bootstrap-polyml: - $(MAKE) polyml-mlton -- $(RM) "$(BIN)/mlton" -+ $(MV) "$(BIN)/mlton" "$(BIN)/mlton.mlton" -+ $(CP) "$(BIN)/mlton.polyml" "$(BIN)/mlton" - $(MAKE) BOOTSTRAP_MLTON=mlton.polyml all - $(RM) "$(LIB)/mlton-polyml$(EXE)" - $(RM) "$(BIN)/mlton.polyml" -+ $(MV) "$(BIN)/mlton.mlton" "$(BIN)/mlton" - - .PHONY: clean - clean: |