5 files changed, 0 insertions, 129 deletions
diff --git a/lang/ats/files/patch-Makefile b/lang/ats/files/patch-Makefile
deleted file mode 100644
index f6db4d0638cc..000000000000
--- a/lang/ats/files/patch-Makefile
+++ /dev/null
@@ -1,86 +0,0 @@
---- Makefile.orig	2013-01-24 10:49:41.547037509 +0800
-+++ Makefile	2013-01-24 10:55:14.781718163 +0800
-@@ -59,12 +59,6 @@
- 	autoheader $<
- 	touch $@
- 
--configure: configure.ac $(SRC_CONFIG_FILES)
--	aclocal
--	automake --add-missing --foreign || true
--	autoconf
--	touch $(BUILT_CONFIG_FILES)
--
- -include config.mk
- 
- ######
-@@ -92,7 +86,7 @@
- 	cd $(abs_top_srcdir)
- 	[ -d $(DESTDIR)/$(bindir) ] || $(MKDIR_P) $(DESTDIR)/$(bindir)
- 	$(MKDIR_P) $(DESTDIR)$(ATSNEWHOME)/bin
--	find ccomp contrib doc libats libc prelude -type d \
-+	find ccomp libats libatsdoc libc prelude -type d \
- 	  -exec $(MKDIR_P) $(DESTDIR)$(ATSNEWHOME)/\{} \; \
- 	  -print
- 
-@@ -100,7 +94,7 @@
- #
- # recursively install all files in the list except .svn control files.
- #
--	for d in ccomp/runtime contrib doc libats libc prelude; do \
-+	for d in ccomp/runtime libats libatsdoc libc prelude; do \
- 	  cd $(abs_top_srcdir) && \
- 	  $(INSTALL) -d $(DESTDIR)$(ATSNEWHOME)/"$$d" && \
- 	  find "$$d" -name .svn -prune -o -type f \
-@@ -140,6 +134,8 @@
- 	done
- 
- install:: install_files
-+	find $(DESTDIR)$(ATSNEWHOME) -depth -type d -empty -delete
-+	find $(DESTDIR)$(ATSNEWHOME) -type f -name '*.orig' -delete
- 
- ######
- 
-@@ -155,8 +151,7 @@
-   ccomp/runtime/GCATS/gc_mt.o \
-   atsopt1_gc \
-   bin/atslex \
--  bin/atsdoc \
--  contrib
-+  bin/atsdoc
- 	@echo "ATS/Anairiats has been built up successfully!"
- 	@echo "The value of ATSHOME for this build is \"$(ATSHOME)\"."
- 	@echo "The value of ATSHOMERELOC for this build is \"$(ATSHOMERELOC)\"."
-@@ -217,23 +212,23 @@
- 
- .libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $<
- libfiles: .libfiles_local
--	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats
--	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex
--	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_smlbas
-+	$(ATSLIB) $(ATS_PROOFCHECK) $(CFLAGS) --libats
-+	$(ATSLIB) $(ATS_PROOFCHECK) $(CFLAGS) --libats_lex
-+	$(ATSLIB) $(ATS_PROOFCHECK) $(CFLAGS) --libats_smlbas
- 
- lib32files: .libfiles_local
--	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats
--	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_lex
--	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_smlbas
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 $(CFLAGS) --libats
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 $(CFLAGS) --libats_lex
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 $(CFLAGS) --libats_smlbas
- 
- lib64files: .libfiles_local
--	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats
--	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_lex
--	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_smlbas
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 $(CFLAGS) --libats
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 $(CFLAGS) --libats_lex
-+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 $(CFLAGS) --libats_smlbas
- 
- .libfiles_mt_local: .libfiles_mt ; $(CC) -E -P -x c -o $@ $<
- libfiles_mt: .libfiles_mt_local
--	$(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD -O2 --libats_mt
-+	$(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD $(CFLAGS) --libats_mt
- 
- libatsdoca: ; $(MAKE) -C libatsdoc
- 
diff --git a/lang/ats/files/patch-Makefile__bootstrap b/lang/ats/files/patch-Makefile__bootstrap
deleted file mode 100644
index df5c27b77f54..000000000000
--- a/lang/ats/files/patch-Makefile__bootstrap
+++ /dev/null
@@ -1,11 +0,0 @@
---- Makefile_bootstrap.orig	2011-10-06 21:17:51.000000000 +0800
-+++ Makefile_bootstrap	2011-10-06 21:18:13.000000000 +0800
-@@ -78,7 +78,7 @@
- 
- BOOTSTRAP1=1
- ifdef BOOTSTRAP1
--ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) -O2 -g
-+ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) $(CFLAGS)
- endif
- 
- LIBGMP=
diff --git a/lang/ats/files/patch-ccomp_runtime_GCATS_gcats1__misc.dats b/lang/ats/files/patch-ccomp_runtime_GCATS_gcats1__misc.dats
deleted file mode 100644
index 19b0db5a1fa9..000000000000
--- a/lang/ats/files/patch-ccomp_runtime_GCATS_gcats1__misc.dats
+++ /dev/null
@@ -1,10 +0,0 @@
---- ccomp/runtime/GCATS/gcats1_misc.dats.orig	2012-05-23 14:32:51.606718510 +0800
-+++ ccomp/runtime/GCATS/gcats1_misc.dats	2012-05-23 14:33:22.846718098 +0800
-@@ -55,6 +55,7 @@
- //
- // dir=1/-1 : upward/downward
- //
-+static int gc_stack_dir_get_inner (int *some_ptr) __attribute__((noinline));
- static
- int gc_stack_dir_get_inner (int *some_ptr) {
-   int some_int ;
diff --git a/lang/ats/files/patch-config.mk.in b/lang/ats/files/patch-config.mk.in
deleted file mode 100644
index 3dedddf550f9..000000000000
--- a/lang/ats/files/patch-config.mk.in
+++ /dev/null
@@ -1,11 +0,0 @@
---- config.mk.in.orig	2012-09-06 15:37:58.253921955 +0800
-+++ config.mk.in	2012-09-06 15:38:09.939751074 +0800
-@@ -2,7 +2,7 @@
- PACKAGE_TARNAME := @PACKAGE_TARNAME@
- PACKAGE_VERSION := @PACKAGE_VERSION@
- 
--abs_top_srcdir := @abs_top_srcdir@
-+abs_top_srcdir := $(realpath @abs_top_srcdir@)
- prefix := @prefix@
- exec_prefix := @exec_prefix@
- bindir := @bindir@
diff --git a/lang/ats/files/patch-libatsdoc_Makefile b/lang/ats/files/patch-libatsdoc_Makefile
deleted file mode 100644
index cfbacbe06a88..000000000000
--- a/lang/ats/files/patch-libatsdoc_Makefile
+++ /dev/null
@@ -1,11 +0,0 @@
---- libatsdoc/Makefile.orig	2012-09-06 15:39:38.797921223 +0800
-+++ libatsdoc/Makefile	2012-09-06 15:40:12.166571629 +0800
-@@ -43,7 +43,7 @@
- ######
- 
- all:: Makefile_out
--all:: ; make -f Makefile_out
-+all:: ; $(MAKE) -f Makefile_out
- all:: cleanall
- 
- ######