Attachment #124734 for bug #168249

View | Details | Raw Unified | Return to bug 168249
Collapse All | Expand All





PORTNAME=	ats
PORTVERSION=	${ATS_VER}
PORTREVISION=	1
CATEGORIES=	lang
MASTER_SITES=	SF
MASTER_SITE_SUBDIR=	${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION}
DISTNAME=	${PORTNAME}-lang-${ATS_IMPL}-${PORTVERSION}
EXTRACT_SUFX=	.tgz

MAINTAINER=	jyyou@cs.nctu.edu.tw
COMMENT=	A language with a type system rooted in the Applied Type System

LIB_DEPENDS+=	pcre.1:${PORTSDIR}/devel/pcre
.endif

post-patch:
	${SED} -i '' -e 's/gcc/${CC}/' \
	    ${WRKSRC}/ccomp/runtime/GCATS/Makefile \
	    ${WRKSRC}/utils/scripts/Makefile
	${SED} -i '' -e 's/ATSCCOMP_def "gcc"/ATSCCOMP_def "${CC}"/' \
	    ${WRKSRC}/utils/scripts/basics.dats
	${SED} -i '' -e 's/argv_p = "gcc"/argv_p = "${CC}"/' \
	             -e 's/execvp("gcc", argv)/execvp("${CC}", argv)/' \
	    ${WRKSRC}/utils/scripts/atslib.dats

post-configure:
.if defined(WITHOUT_GMP)
	${SED} -i '' -e '/HAVE_GMP_H/d' ${WRKSRC}/config.h

Lines 1-5 Link Here

(-)/amd/gcs/98/9855518/src/ports/lang/ats/bsd.ats.mk (-1 / +1 lines)
1	ATS_IMPL= anairiats	1	ATS_IMPL= anairiats
2	ATS_VER= 0.2.6	2	ATS_VER= 0.2.7
3		3
4	ATS_LIBDIR_REL= lib/ats-${ATS_IMPL}-${ATS_VER}	4	ATS_LIBDIR_REL= lib/ats-${ATS_IMPL}-${ATS_VER}
5	ATS_LIBDIR= ${LOCALBASE}/${ATS_LIBDIR_REL}	5	ATS_LIBDIR= ${LOCALBASE}/${ATS_LIBDIR_REL}

Lines 1-2 Link Here

(-)/amd/gcs/98/9855518/src/ports/lang/ats/distinfo (-2 / +2 lines)
1	SHA256 (ats-lang-anairiats-0.2.6.tar.gz) = 403eda8834c76c24992f351c567862281b9f68ad1f1178d5e2252110b74bedf1	1	SHA256 (ats-lang-anairiats-0.2.7.tgz) = 9ed11ee4911ccad797a6b5cf1ceb7d8c3b85ddba923de9e199d86649907b4454
2	SIZE (ats-lang-anairiats-0.2.6.tar.gz) = 2899016	2	SIZE (ats-lang-anairiats-0.2.7.tgz) = 2418573




--- Makefile.orig	2012-05-18 07:56:24.000000000 +0800
+++ Makefile	2012-05-23 14:47:29.661831756 +0800
@@ -92,7 +92,7 @@
 	cd $(abs_top_srcdir)
 	[ -d $(DESTDIR)/$(bindir) ] || $(MKDIR_P) $(DESTDIR)/$(bindir)

 	  cd $(abs_top_srcdir) && \
 	  $(INSTALL) -d $(DESTDIR)$(ATSNEWHOME)/"$$d" && \
 	  find "$$d" -name .svn -prune -o -type f \
@@ -140,6 +140,8 @@
 	done
 
 install:: install_files
+	find $(DESTDIR)$(ATSNEWHOME) -depth -type d -empty -delete
+	find $(DESTDIR)$(ATSNEWHOME) -type f -name '*.orig' -delete
 
 ######
 
@@ -152,8 +154,7 @@
   bin/atslex \
   ccomp/runtime/GCATS/gc.o \
   ccomp/runtime/GCATS/gc_mt.o \

 	@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)\"."
@@ -212,25 +213,25 @@
 
 ATSLIB=$(ATSHOMEQ)/bin/atslib
 
-.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $<
+.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $< ; sed -i '' -e '/linordset_randbst/d' $@
 libfiles: .libfiles_local
-	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats
-	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex
-	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_smlbas
+	$(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats
+	$(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_lex
+	$(ATSLIB) $(ATS_PROOFCHECK) -O2 $(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 -O2 $(CFLAGS) --libats
+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_lex
+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(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 -O2 $(CFLAGS) --libats
+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_lex
+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_smlbas
 

Line 0 Link Here

(-)/amd/gcs/98/9855518/src/ports/lang/ats/files/patch-ccomp_runtime_GCATS_gcats1__misc.dats (+10 lines)
	1	--- ccomp/runtime/GCATS/gcats1_misc.dats.orig 2012-05-23 14:32:51.606718510 +0800
	2	+++ ccomp/runtime/GCATS/gcats1_misc.dats 2012-05-23 14:33:22.846718098 +0800
	3	@@ -55,6 +55,7 @@
	4	//
	5	// dir=1/-1 : upward/downward
	6	//
	7	+static int gc_stack_dir_get_inner (int *some_ptr) __attribute__((noinline));
	8	static
	9	int gc_stack_dir_get_inner (int *some_ptr) {
	10	int some_int ;




%%ATS_LIBDIR%%/libats/CATS/linqueue_arr.cats
%%ATS_LIBDIR%%/libats/CATS/linqueue_lst.cats
%%ATS_LIBDIR%%/libats/CATS/linstack_arr.cats
%%ATS_LIBDIR%%/libats/CATS/lockptr_spin.cats
%%ATS_LIBDIR%%/libats/CATS/lockref_spin.cats
%%ATS_LIBDIR%%/libats/CATS/parworkshop.cats
%%ATS_LIBDIR%%/libats/CATS/regexp.cats
%%ATS_LIBDIR%%/libats/CATS/slseg.cats
%%ATS_LIBDIR%%/libats/CATS/vector.cats
%%ATS_LIBDIR%%/libats/DATS/biarray.dats
%%ATS_LIBDIR%%/libats/DATS/bimatrix.dats
%%ATS_LIBDIR%%/libats/DATS/fmatrix.dats
%%ATS_LIBDIR%%/libats/DATS/freelst.dats
%%ATS_LIBDIR%%/libats/DATS/funarray_braun.dats
%%ATS_LIBDIR%%/libats/DATS/fundeque_fingertree.dats
%%ATS_LIBDIR%%/libats/DATS/funheap_binomial.dats
%%ATS_LIBDIR%%/libats/DATS/funheap_braun.dats
%%ATS_LIBDIR%%/libats/DATS/funmap_avltree.dats
%%ATS_LIBDIR%%/libats/DATS/funmap_rbtree.dats
%%ATS_LIBDIR%%/libats/DATS/funmset_listord.dats
%%ATS_LIBDIR%%/libats/DATS/funralist_nested.dats
%%ATS_LIBDIR%%/libats/DATS/funset_avltree.dats
%%ATS_LIBDIR%%/libats/DATS/funset_listord.dats

%%ATS_LIBDIR%%/libats/DATS/intinf.dats
%%ATS_LIBDIR%%/libats/DATS/iterint.dats
%%ATS_LIBDIR%%/libats/DATS/linbitvec.dats
%%ATS_LIBDIR%%/libats/DATS/linheap_binomial.dats
%%ATS_LIBDIR%%/libats/DATS/linmap_avltree.dats
%%ATS_LIBDIR%%/libats/DATS/linmap_avltree_ngc.dats
%%ATS_LIBDIR%%/libats/DATS/linmap_rbtree.dats
%%ATS_LIBDIR%%/libats/DATS/linordset_randbst.dats
%%ATS_LIBDIR%%/libats/DATS/linqueue_arr.dats
%%ATS_LIBDIR%%/libats/DATS/linqueue_lst.dats
%%ATS_LIBDIR%%/libats/DATS/linset_avltree.dats
%%ATS_LIBDIR%%/libats/DATS/linset_listord.dats
%%ATS_LIBDIR%%/libats/DATS/linstack_arr.dats
%%ATS_LIBDIR%%/libats/DATS/lockptr_spin.dats
%%ATS_LIBDIR%%/libats/DATS/lockref_spin.dats
%%ATS_LIBDIR%%/libats/DATS/parworkshop.dats
%%ATS_LIBDIR%%/libats/DATS/rarray.dats
%%ATS_LIBDIR%%/libats/DATS/refcount.dats
%%ATS_LIBDIR%%/libats/DATS/regexp.dats
%%ATS_LIBDIR%%/libats/DATS/vector.dats
%%ATS_LIBDIR%%/libats/SATS/biarray.sats
%%ATS_LIBDIR%%/libats/SATS/bimatrix.sats
%%ATS_LIBDIR%%/libats/SATS/fmatrix.sats
%%ATS_LIBDIR%%/libats/SATS/freelst.sats
%%ATS_LIBDIR%%/libats/SATS/funarray_braun.sats
%%ATS_LIBDIR%%/libats/SATS/fundeque_fingertree.sats
%%ATS_LIBDIR%%/libats/SATS/funheap_binomial.sats
%%ATS_LIBDIR%%/libats/SATS/funheap_braun.sats
%%ATS_LIBDIR%%/libats/SATS/funmap_avltree.sats
%%ATS_LIBDIR%%/libats/SATS/funmap_rbtree.sats
%%ATS_LIBDIR%%/libats/SATS/funmset_listord.sats
%%ATS_LIBDIR%%/libats/SATS/funralist_nested.sats
%%ATS_LIBDIR%%/libats/SATS/funset_avltree.sats
%%ATS_LIBDIR%%/libats/SATS/funset_listord.sats

%%ATS_LIBDIR%%/libats/SATS/iterint.sats
%%ATS_LIBDIR%%/libats/SATS/itreep.sats
%%ATS_LIBDIR%%/libats/SATS/linbitvec.sats
%%ATS_LIBDIR%%/libats/SATS/linheap_binomial.sats
%%ATS_LIBDIR%%/libats/SATS/linmap_avltree.sats
%%ATS_LIBDIR%%/libats/SATS/linmap_rbtree.sats
%%ATS_LIBDIR%%/libats/SATS/linordset_randbst.sats
%%ATS_LIBDIR%%/libats/SATS/linqueue_arr.sats
%%ATS_LIBDIR%%/libats/SATS/linqueue_lst.sats
%%ATS_LIBDIR%%/libats/SATS/linset_avltree.sats
%%ATS_LIBDIR%%/libats/SATS/linset_listord.sats
%%ATS_LIBDIR%%/libats/SATS/linstack_arr.sats
%%ATS_LIBDIR%%/libats/SATS/lockptr_spin.sats
%%ATS_LIBDIR%%/libats/SATS/lockref_spin.sats
%%ATS_LIBDIR%%/libats/SATS/optini.sats
%%ATS_LIBDIR%%/libats/SATS/parworkshop.sats
%%ATS_LIBDIR%%/libats/SATS/rarray.sats
%%ATS_LIBDIR%%/libats/SATS/refcount.sats
%%ATS_LIBDIR%%/libats/SATS/refcountr.sats
%%ATS_LIBDIR%%/libats/SATS/regexp.sats
%%ATS_LIBDIR%%/libats/SATS/sobjptr.sats
%%ATS_LIBDIR%%/libats/SATS/vector.sats
%%ATS_LIBDIR%%/libats/lex/lexing.dats
%%ATS_LIBDIR%%/libats/lex/lexing.sats

%%ATS_LIBDIR%%/libats/ngc/CATS/deque_arr.cats
%%ATS_LIBDIR%%/libats/ngc/DATS/deque_arr.dats
%%ATS_LIBDIR%%/libats/ngc/DATS/dlist.dats
%%ATS_LIBDIR%%/libats/ngc/DATS/linmap_avltree.dats
%%ATS_LIBDIR%%/libats/ngc/DATS/linmap_pavltree.dats
%%ATS_LIBDIR%%/libats/ngc/DATS/slist.dats
%%ATS_LIBDIR%%/libats/ngc/SATS/deque_arr.sats
%%ATS_LIBDIR%%/libats/ngc/SATS/dlist.sats
%%ATS_LIBDIR%%/libats/ngc/SATS/linmap_avltree.sats
%%ATS_LIBDIR%%/libats/ngc/SATS/linmap_pavltree.sats
%%ATS_LIBDIR%%/libats/ngc/SATS/slist.sats
%%ATS_LIBDIR%%/libats/smlbas/.libfiles
%%ATS_LIBDIR%%/libats/smlbas/DATS/array.dats

%%ATS_LIBDIR%%/prelude/DATS/array_prf.dats
%%ATS_LIBDIR%%/prelude/DATS/basics.dats
%%ATS_LIBDIR%%/prelude/DATS/bool.dats
%%ATS_LIBDIR%%/prelude/DATS/dlist_vt.dats
%%ATS_LIBDIR%%/prelude/DATS/filebas.dats
%%ATS_LIBDIR%%/prelude/DATS/float.dats
%%ATS_LIBDIR%%/prelude/DATS/integer.dats

%%ATS_LIBDIR%%/prelude/DATS/string.dats
%%ATS_LIBDIR%%/prelude/DATS/syndef.dats
%%ATS_LIBDIR%%/prelude/DATS/unsafe.dats
%%ATS_LIBDIR%%/prelude/DATS/vsubrw.dats
%%ATS_LIBDIR%%/prelude/HATS/lmacrodef.hats
%%ATS_LIBDIR%%/prelude/HATS/number.hats
%%ATS_LIBDIR%%/prelude/HATS/syndef.hats

%%ATS_LIBDIR%%/prelude/SATS/bool.sats
%%ATS_LIBDIR%%/prelude/SATS/byte.sats
%%ATS_LIBDIR%%/prelude/SATS/char.sats
%%ATS_LIBDIR%%/prelude/SATS/dlist_vt.sats
%%ATS_LIBDIR%%/prelude/SATS/extern.sats
%%ATS_LIBDIR%%/prelude/SATS/filebas.sats
%%ATS_LIBDIR%%/prelude/SATS/float.sats

Return to bug 168249

Lines 7-17 Link Here

(-)/amd/gcs/98/9855518/src/ports/lang/ats/Makefile (-1 / +11 lines)
7		7
8	PORTNAME= ats	8	PORTNAME= ats
9	PORTVERSION= ${ATS_VER}	9	PORTVERSION= ${ATS_VER}
10	PORTREVISION= 1
11	CATEGORIES= lang	10	CATEGORIES= lang
12	MASTER_SITES= SF	11	MASTER_SITES= SF
13	MASTER_SITE_SUBDIR= ${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION}	12	MASTER_SITE_SUBDIR= ${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION}
14	DISTNAME= ${PORTNAME}-lang-${ATS_IMPL}-${PORTVERSION}	13	DISTNAME= ${PORTNAME}-lang-${ATS_IMPL}-${PORTVERSION}
		14	EXTRACT_SUFX= .tgz
15		15
16	MAINTAINER= jyyou@cs.nctu.edu.tw	16	MAINTAINER= jyyou@cs.nctu.edu.tw
17	COMMENT= A language with a type system rooted in the Applied Type System	17	COMMENT= A language with a type system rooted in the Applied Type System
Lines 44-49 Link Here
44	LIB_DEPENDS+= pcre.1:${PORTSDIR}/devel/pcre	44	LIB_DEPENDS+= pcre.1:${PORTSDIR}/devel/pcre
45	.endif	45	.endif
46		46
		47	post-patch:
		48	${SED} -i '' -e 's/gcc/${CC}/' \
		49	${WRKSRC}/ccomp/runtime/GCATS/Makefile \
		50	${WRKSRC}/utils/scripts/Makefile
		51	${SED} -i '' -e 's/ATSCCOMP_def "gcc"/ATSCCOMP_def "${CC}"/' \
		52	${WRKSRC}/utils/scripts/basics.dats
		53	${SED} -i '' -e 's/argv_p = "gcc"/argv_p = "${CC}"/' \
		54	-e 's/execvp("gcc", argv)/execvp("${CC}", argv)/' \
		55	${WRKSRC}/utils/scripts/atslib.dats
		56
47	post-configure:	57	post-configure:
48	.if defined(WITHOUT_GMP)	58	.if defined(WITHOUT_GMP)
49	${SED} -i '' -e '/HAVE_GMP_H/d' ${WRKSRC}/config.h	59	${SED} -i '' -e '/HAVE_GMP_H/d' ${WRKSRC}/config.h

Lines 1-5 Link Here

(-)/amd/gcs/98/9855518/src/ports/lang/ats/files/patch-Makefile (-11 / +12 lines)
1	--- Makefile.orig 2011-11-11 09:41:38.000000000 +0800	1	--- Makefile.orig 2012-05-18 07:56:24.000000000 +0800
2	+++ Makefile 2011-11-15 11:51:22.387400943 +0800	2	+++ Makefile 2012-05-23 14:47:29.661831756 +0800
3	@@ -92,7 +92,7 @@	3	@@ -92,7 +92,7 @@
4	cd $(abs_top_srcdir)	4	cd $(abs_top_srcdir)
5	[ -d $(DESTDIR)/$(bindir) ] \|\| $(MKDIR_P) $(DESTDIR)/$(bindir)	5	[ -d $(DESTDIR)/$(bindir) ] \|\| $(MKDIR_P) $(DESTDIR)/$(bindir)
Lines 18-32 Link Here
18	cd $(abs_top_srcdir) && \	18	cd $(abs_top_srcdir) && \
19	$(INSTALL) -d $(DESTDIR)$(ATSNEWHOME)/"$$d" && \	19	$(INSTALL) -d $(DESTDIR)$(ATSNEWHOME)/"$$d" && \
20	find "$$d" -name .svn -prune -o -type f \	20	find "$$d" -name .svn -prune -o -type f \
21	@@ -140,6 +140,7 @@	21	@@ -140,6 +140,8 @@
22	done	22	done
23		23
24	install:: install_files	24	install:: install_files
25	+ find $(DESTDIR)$(ATSNEWHOME) -depth -type d -empty -delete	25	+ find $(DESTDIR)$(ATSNEWHOME) -depth -type d -empty -delete
		26	+ find $(DESTDIR)$(ATSNEWHOME) -type f -name '*.orig' -delete
26		27
27	######	28	######
28		29
29	@@ -152,8 +153,7 @@	30	@@ -152,8 +154,7 @@
30	bin/atslex \	31	bin/atslex \
31	ccomp/runtime/GCATS/gc.o \	32	ccomp/runtime/GCATS/gc.o \
32	ccomp/runtime/GCATS/gc_mt.o \	33	ccomp/runtime/GCATS/gc_mt.o \
Lines 36-68 Link Here
36	@echo "ATS/Anairiats has been built up successfully!"	37	@echo "ATS/Anairiats has been built up successfully!"
37	@echo "The value of ATSHOME for this build is \"$(ATSHOME)\"."	38	@echo "The value of ATSHOME for this build is \"$(ATSHOME)\"."
38	@echo "The value of ATSHOMERELOC for this build is \"$(ATSHOMERELOC)\"."	39	@echo "The value of ATSHOMERELOC for this build is \"$(ATSHOMERELOC)\"."
39	@@ -212,25 +212,25 @@	40	@@ -212,25 +213,25 @@
40		41
41	ATSLIB=$(ATSHOMEQ)/bin/atslib	42	ATSLIB=$(ATSHOMEQ)/bin/atslib
42		43
43	-.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $<	44	-.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $<
44	+.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $< ; sed -i '' -e '/linordset_randbst/d' $@	45	+.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $< ; sed -i '' -e '/linordset_randbst/d' $@
45	libfiles: .libfiles_local	46	libfiles: .libfiles_local
46	- $(ATSLIB) $(ATS_PROOFCHECK) -D_XOPEN_SOURCE -O2 --libats	47	- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats
47	- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex	48	- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex
48	- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_smlbas	49	- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_smlbas
49	+ $(ATSLIB) $(ATS_PROOFCHECK) -D_XOPEN_SOURCE -O2 $(CFLAGS) --libats	50	+ $(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats
50	+ $(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_lex	51	+ $(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_lex
51	+ $(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_smlbas	52	+ $(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_smlbas
52		53
53	lib32files: .libfiles_local	54	lib32files: .libfiles_local
54	- $(ATSLIB) $(ATS_PROOFCHECK) -m32 -D_XOPEN_SOURCE -O2 --libats	55	- $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats
55	- $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_lex	56	- $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_lex
56	- $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_smlbas	57	- $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_smlbas
57	+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 -D_XOPEN_SOURCE -O2 $(CFLAGS) --libats	58	+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats
58	+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_lex	59	+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_lex
59	+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_smlbas	60	+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_smlbas
60		61
61	lib64files: .libfiles_local	62	lib64files: .libfiles_local
62	- $(ATSLIB) $(ATS_PROOFCHECK) -m64 -D_XOPEN_SOURCE -O2 --libats	63	- $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats
63	- $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_lex	64	- $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_lex
64	- $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_smlbas	65	- $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_smlbas
65	+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 -D_XOPEN_SOURCE -O2 $(CFLAGS) --libats	66	+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats
66	+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_lex	67	+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_lex
67	+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_smlbas	68	+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_smlbas
68		69

Lines 53-70 Link Here

(-)/amd/gcs/98/9855518/src/ports/lang/ats/pkg-plist (+28 lines)
53	%%ATS_LIBDIR%%/libats/CATS/linqueue_arr.cats	53	%%ATS_LIBDIR%%/libats/CATS/linqueue_arr.cats
54	%%ATS_LIBDIR%%/libats/CATS/linqueue_lst.cats	54	%%ATS_LIBDIR%%/libats/CATS/linqueue_lst.cats
55	%%ATS_LIBDIR%%/libats/CATS/linstack_arr.cats	55	%%ATS_LIBDIR%%/libats/CATS/linstack_arr.cats
		56	%%ATS_LIBDIR%%/libats/CATS/lockptr_spin.cats
		57	%%ATS_LIBDIR%%/libats/CATS/lockref_spin.cats
56	%%ATS_LIBDIR%%/libats/CATS/parworkshop.cats	58	%%ATS_LIBDIR%%/libats/CATS/parworkshop.cats
57	%%ATS_LIBDIR%%/libats/CATS/regexp.cats	59	%%ATS_LIBDIR%%/libats/CATS/regexp.cats
58	%%ATS_LIBDIR%%/libats/CATS/slseg.cats	60	%%ATS_LIBDIR%%/libats/CATS/slseg.cats
59	%%ATS_LIBDIR%%/libats/CATS/vector.cats	61	%%ATS_LIBDIR%%/libats/CATS/vector.cats
60	%%ATS_LIBDIR%%/libats/DATS/biarray.dats	62	%%ATS_LIBDIR%%/libats/DATS/biarray.dats
		63	%%ATS_LIBDIR%%/libats/DATS/bimatrix.dats
61	%%ATS_LIBDIR%%/libats/DATS/fmatrix.dats	64	%%ATS_LIBDIR%%/libats/DATS/fmatrix.dats
62	%%ATS_LIBDIR%%/libats/DATS/freelst.dats	65	%%ATS_LIBDIR%%/libats/DATS/freelst.dats
63	%%ATS_LIBDIR%%/libats/DATS/funarray_braun.dats	66	%%ATS_LIBDIR%%/libats/DATS/funarray_braun.dats
64	%%ATS_LIBDIR%%/libats/DATS/fundeque_fingertree.dats	67	%%ATS_LIBDIR%%/libats/DATS/fundeque_fingertree.dats
		68	%%ATS_LIBDIR%%/libats/DATS/funheap_binomial.dats
65	%%ATS_LIBDIR%%/libats/DATS/funheap_braun.dats	69	%%ATS_LIBDIR%%/libats/DATS/funheap_braun.dats
66	%%ATS_LIBDIR%%/libats/DATS/funmap_avltree.dats	70	%%ATS_LIBDIR%%/libats/DATS/funmap_avltree.dats
67	%%ATS_LIBDIR%%/libats/DATS/funmap_rbtree.dats	71	%%ATS_LIBDIR%%/libats/DATS/funmap_rbtree.dats
		72	%%ATS_LIBDIR%%/libats/DATS/funmset_listord.dats
68	%%ATS_LIBDIR%%/libats/DATS/funralist_nested.dats	73	%%ATS_LIBDIR%%/libats/DATS/funralist_nested.dats
69	%%ATS_LIBDIR%%/libats/DATS/funset_avltree.dats	74	%%ATS_LIBDIR%%/libats/DATS/funset_avltree.dats
70	%%ATS_LIBDIR%%/libats/DATS/funset_listord.dats	75	%%ATS_LIBDIR%%/libats/DATS/funset_listord.dats
Lines 78-102 Link Here
78	%%ATS_LIBDIR%%/libats/DATS/intinf.dats	83	%%ATS_LIBDIR%%/libats/DATS/intinf.dats
79	%%ATS_LIBDIR%%/libats/DATS/iterint.dats	84	%%ATS_LIBDIR%%/libats/DATS/iterint.dats
80	%%ATS_LIBDIR%%/libats/DATS/linbitvec.dats	85	%%ATS_LIBDIR%%/libats/DATS/linbitvec.dats
		86	%%ATS_LIBDIR%%/libats/DATS/linheap_binomial.dats
81	%%ATS_LIBDIR%%/libats/DATS/linmap_avltree.dats	87	%%ATS_LIBDIR%%/libats/DATS/linmap_avltree.dats
		88	%%ATS_LIBDIR%%/libats/DATS/linmap_avltree_ngc.dats
82	%%ATS_LIBDIR%%/libats/DATS/linmap_rbtree.dats	89	%%ATS_LIBDIR%%/libats/DATS/linmap_rbtree.dats
83	%%ATS_LIBDIR%%/libats/DATS/linordset_randbst.dats	90	%%ATS_LIBDIR%%/libats/DATS/linordset_randbst.dats
84	%%ATS_LIBDIR%%/libats/DATS/linqueue_arr.dats	91	%%ATS_LIBDIR%%/libats/DATS/linqueue_arr.dats
85	%%ATS_LIBDIR%%/libats/DATS/linqueue_lst.dats	92	%%ATS_LIBDIR%%/libats/DATS/linqueue_lst.dats
86	%%ATS_LIBDIR%%/libats/DATS/linset_avltree.dats	93	%%ATS_LIBDIR%%/libats/DATS/linset_avltree.dats
		94	%%ATS_LIBDIR%%/libats/DATS/linset_listord.dats
87	%%ATS_LIBDIR%%/libats/DATS/linstack_arr.dats	95	%%ATS_LIBDIR%%/libats/DATS/linstack_arr.dats
		96	%%ATS_LIBDIR%%/libats/DATS/lockptr_spin.dats
		97	%%ATS_LIBDIR%%/libats/DATS/lockref_spin.dats
88	%%ATS_LIBDIR%%/libats/DATS/parworkshop.dats	98	%%ATS_LIBDIR%%/libats/DATS/parworkshop.dats
89	%%ATS_LIBDIR%%/libats/DATS/rarray.dats	99	%%ATS_LIBDIR%%/libats/DATS/rarray.dats
		100	%%ATS_LIBDIR%%/libats/DATS/refcount.dats
90	%%ATS_LIBDIR%%/libats/DATS/regexp.dats	101	%%ATS_LIBDIR%%/libats/DATS/regexp.dats
91	%%ATS_LIBDIR%%/libats/DATS/vector.dats	102	%%ATS_LIBDIR%%/libats/DATS/vector.dats
92	%%ATS_LIBDIR%%/libats/SATS/biarray.sats	103	%%ATS_LIBDIR%%/libats/SATS/biarray.sats
		104	%%ATS_LIBDIR%%/libats/SATS/bimatrix.sats
93	%%ATS_LIBDIR%%/libats/SATS/fmatrix.sats	105	%%ATS_LIBDIR%%/libats/SATS/fmatrix.sats
94	%%ATS_LIBDIR%%/libats/SATS/freelst.sats	106	%%ATS_LIBDIR%%/libats/SATS/freelst.sats
95	%%ATS_LIBDIR%%/libats/SATS/funarray_braun.sats	107	%%ATS_LIBDIR%%/libats/SATS/funarray_braun.sats
96	%%ATS_LIBDIR%%/libats/SATS/fundeque_fingertree.sats	108	%%ATS_LIBDIR%%/libats/SATS/fundeque_fingertree.sats
		109	%%ATS_LIBDIR%%/libats/SATS/funheap_binomial.sats
97	%%ATS_LIBDIR%%/libats/SATS/funheap_braun.sats	110	%%ATS_LIBDIR%%/libats/SATS/funheap_braun.sats
98	%%ATS_LIBDIR%%/libats/SATS/funmap_avltree.sats	111	%%ATS_LIBDIR%%/libats/SATS/funmap_avltree.sats
99	%%ATS_LIBDIR%%/libats/SATS/funmap_rbtree.sats	112	%%ATS_LIBDIR%%/libats/SATS/funmap_rbtree.sats
		113	%%ATS_LIBDIR%%/libats/SATS/funmset_listord.sats
100	%%ATS_LIBDIR%%/libats/SATS/funralist_nested.sats	114	%%ATS_LIBDIR%%/libats/SATS/funralist_nested.sats
101	%%ATS_LIBDIR%%/libats/SATS/funset_avltree.sats	115	%%ATS_LIBDIR%%/libats/SATS/funset_avltree.sats
102	%%ATS_LIBDIR%%/libats/SATS/funset_listord.sats	116	%%ATS_LIBDIR%%/libats/SATS/funset_listord.sats
Lines 113-129 Link Here
113	%%ATS_LIBDIR%%/libats/SATS/iterint.sats	127	%%ATS_LIBDIR%%/libats/SATS/iterint.sats
114	%%ATS_LIBDIR%%/libats/SATS/itreep.sats	128	%%ATS_LIBDIR%%/libats/SATS/itreep.sats
115	%%ATS_LIBDIR%%/libats/SATS/linbitvec.sats	129	%%ATS_LIBDIR%%/libats/SATS/linbitvec.sats
		130	%%ATS_LIBDIR%%/libats/SATS/linheap_binomial.sats
116	%%ATS_LIBDIR%%/libats/SATS/linmap_avltree.sats	131	%%ATS_LIBDIR%%/libats/SATS/linmap_avltree.sats
117	%%ATS_LIBDIR%%/libats/SATS/linmap_rbtree.sats	132	%%ATS_LIBDIR%%/libats/SATS/linmap_rbtree.sats
118	%%ATS_LIBDIR%%/libats/SATS/linordset_randbst.sats	133	%%ATS_LIBDIR%%/libats/SATS/linordset_randbst.sats
119	%%ATS_LIBDIR%%/libats/SATS/linqueue_arr.sats	134	%%ATS_LIBDIR%%/libats/SATS/linqueue_arr.sats
120	%%ATS_LIBDIR%%/libats/SATS/linqueue_lst.sats	135	%%ATS_LIBDIR%%/libats/SATS/linqueue_lst.sats
121	%%ATS_LIBDIR%%/libats/SATS/linset_avltree.sats	136	%%ATS_LIBDIR%%/libats/SATS/linset_avltree.sats
		137	%%ATS_LIBDIR%%/libats/SATS/linset_listord.sats
122	%%ATS_LIBDIR%%/libats/SATS/linstack_arr.sats	138	%%ATS_LIBDIR%%/libats/SATS/linstack_arr.sats
		139	%%ATS_LIBDIR%%/libats/SATS/lockptr_spin.sats
		140	%%ATS_LIBDIR%%/libats/SATS/lockref_spin.sats
123	%%ATS_LIBDIR%%/libats/SATS/optini.sats	141	%%ATS_LIBDIR%%/libats/SATS/optini.sats
124	%%ATS_LIBDIR%%/libats/SATS/parworkshop.sats	142	%%ATS_LIBDIR%%/libats/SATS/parworkshop.sats
125	%%ATS_LIBDIR%%/libats/SATS/rarray.sats	143	%%ATS_LIBDIR%%/libats/SATS/rarray.sats
		144	%%ATS_LIBDIR%%/libats/SATS/refcount.sats
		145	%%ATS_LIBDIR%%/libats/SATS/refcountr.sats
126	%%ATS_LIBDIR%%/libats/SATS/regexp.sats	146	%%ATS_LIBDIR%%/libats/SATS/regexp.sats
		147	%%ATS_LIBDIR%%/libats/SATS/sobjptr.sats
127	%%ATS_LIBDIR%%/libats/SATS/vector.sats	148	%%ATS_LIBDIR%%/libats/SATS/vector.sats
128	%%ATS_LIBDIR%%/libats/lex/lexing.dats	149	%%ATS_LIBDIR%%/libats/lex/lexing.dats
129	%%ATS_LIBDIR%%/libats/lex/lexing.sats	150	%%ATS_LIBDIR%%/libats/lex/lexing.sats
Lines 131-139 Link Here
131	%%ATS_LIBDIR%%/libats/ngc/CATS/deque_arr.cats	152	%%ATS_LIBDIR%%/libats/ngc/CATS/deque_arr.cats
132	%%ATS_LIBDIR%%/libats/ngc/DATS/deque_arr.dats	153	%%ATS_LIBDIR%%/libats/ngc/DATS/deque_arr.dats
133	%%ATS_LIBDIR%%/libats/ngc/DATS/dlist.dats	154	%%ATS_LIBDIR%%/libats/ngc/DATS/dlist.dats
		155	%%ATS_LIBDIR%%/libats/ngc/DATS/linmap_avltree.dats
		156	%%ATS_LIBDIR%%/libats/ngc/DATS/linmap_pavltree.dats
134	%%ATS_LIBDIR%%/libats/ngc/DATS/slist.dats	157	%%ATS_LIBDIR%%/libats/ngc/DATS/slist.dats
135	%%ATS_LIBDIR%%/libats/ngc/SATS/deque_arr.sats	158	%%ATS_LIBDIR%%/libats/ngc/SATS/deque_arr.sats
136	%%ATS_LIBDIR%%/libats/ngc/SATS/dlist.sats	159	%%ATS_LIBDIR%%/libats/ngc/SATS/dlist.sats
		160	%%ATS_LIBDIR%%/libats/ngc/SATS/linmap_avltree.sats
		161	%%ATS_LIBDIR%%/libats/ngc/SATS/linmap_pavltree.sats
137	%%ATS_LIBDIR%%/libats/ngc/SATS/slist.sats	162	%%ATS_LIBDIR%%/libats/ngc/SATS/slist.sats
138	%%ATS_LIBDIR%%/libats/smlbas/.libfiles	163	%%ATS_LIBDIR%%/libats/smlbas/.libfiles
139	%%ATS_LIBDIR%%/libats/smlbas/DATS/array.dats	164	%%ATS_LIBDIR%%/libats/smlbas/DATS/array.dats
Lines 312-317 Link Here
312	%%ATS_LIBDIR%%/prelude/DATS/array_prf.dats	337	%%ATS_LIBDIR%%/prelude/DATS/array_prf.dats
313	%%ATS_LIBDIR%%/prelude/DATS/basics.dats	338	%%ATS_LIBDIR%%/prelude/DATS/basics.dats
314	%%ATS_LIBDIR%%/prelude/DATS/bool.dats	339	%%ATS_LIBDIR%%/prelude/DATS/bool.dats
		340	%%ATS_LIBDIR%%/prelude/DATS/dlist_vt.dats
315	%%ATS_LIBDIR%%/prelude/DATS/filebas.dats	341	%%ATS_LIBDIR%%/prelude/DATS/filebas.dats
316	%%ATS_LIBDIR%%/prelude/DATS/float.dats	342	%%ATS_LIBDIR%%/prelude/DATS/float.dats
317	%%ATS_LIBDIR%%/prelude/DATS/integer.dats	343	%%ATS_LIBDIR%%/prelude/DATS/integer.dats
Lines 334-339 Link Here
334	%%ATS_LIBDIR%%/prelude/DATS/string.dats	360	%%ATS_LIBDIR%%/prelude/DATS/string.dats
335	%%ATS_LIBDIR%%/prelude/DATS/syndef.dats	361	%%ATS_LIBDIR%%/prelude/DATS/syndef.dats
336	%%ATS_LIBDIR%%/prelude/DATS/unsafe.dats	362	%%ATS_LIBDIR%%/prelude/DATS/unsafe.dats
		363	%%ATS_LIBDIR%%/prelude/DATS/vsubrw.dats
337	%%ATS_LIBDIR%%/prelude/HATS/lmacrodef.hats	364	%%ATS_LIBDIR%%/prelude/HATS/lmacrodef.hats
338	%%ATS_LIBDIR%%/prelude/HATS/number.hats	365	%%ATS_LIBDIR%%/prelude/HATS/number.hats
339	%%ATS_LIBDIR%%/prelude/HATS/syndef.hats	366	%%ATS_LIBDIR%%/prelude/HATS/syndef.hats
Lines 343-348 Link Here
343	%%ATS_LIBDIR%%/prelude/SATS/bool.sats	370	%%ATS_LIBDIR%%/prelude/SATS/bool.sats
344	%%ATS_LIBDIR%%/prelude/SATS/byte.sats	371	%%ATS_LIBDIR%%/prelude/SATS/byte.sats
345	%%ATS_LIBDIR%%/prelude/SATS/char.sats	372	%%ATS_LIBDIR%%/prelude/SATS/char.sats
		373	%%ATS_LIBDIR%%/prelude/SATS/dlist_vt.sats
346	%%ATS_LIBDIR%%/prelude/SATS/extern.sats	374	%%ATS_LIBDIR%%/prelude/SATS/extern.sats
347	%%ATS_LIBDIR%%/prelude/SATS/filebas.sats	375	%%ATS_LIBDIR%%/prelude/SATS/filebas.sats
348	%%ATS_LIBDIR%%/prelude/SATS/float.sats	376	%%ATS_LIBDIR%%/prelude/SATS/float.sats