Attachment #131454 for bug #175539

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




# Created by: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
# Date created: September 29 2011
# Whom: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
#
# $FreeBSD: ports/lang/ats/Makefile,v 1.10 2012/12/10 19:24:02 svnexp Exp $
#

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

post-patch:
	${SED} -i '' -e 's/gcc/${CC}/' \
	    ${WRKSRC}/ccomp/runtime/GCATS/Makefile \
	    ${WRKSRC}/utils/scripts/Makefile \
	    ${WRKSRC}/libatsdoc/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}"/' \

.endif

post-install:
.if ${PORT_OPTIONS:MDOCS}
	${MKDIR} ${DOCSDIR}
	cd ${WRKSRC}/doc && \
	${COPYTREE_SHARE} "${PORTDOCS}" ${DOCSDIR}

Lines 1-5 Link Here

(-)./bsd.ats.mk (-1 / +1 lines)
1	ATS_IMPL= anairiats	1	ATS_IMPL= anairiats
2	ATS_VER= 0.2.8	2	ATS_VER= 0.2.9
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

(-)./distinfo (-2 / +2 lines)
1	SHA256 (ats-lang-anairiats-0.2.8.tgz) = caa9a17ea3ddd7938bc50f25b323379453fba9f27fd1a66d202404bbac734d32	1	SHA256 (ats-lang-anairiats-0.2.9.tgz) = 44bbf49f7bea0e411c5a24ae0ea3ecf1d771886b6bd19ea6798badb01f1512fd
2	SIZE (ats-lang-anairiats-0.2.8.tgz) = 2318886	2	SIZE (ats-lang-anairiats-0.2.9.tgz) = 2466767




--- 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 $@

 
 ######
 
@@ -155,8 +151,7 @@
   libfiles_mt \
   bin/atspack \
   bin/atslex \
-  libatsdoca \
-  bin/atsdoc \
   ccomp/runtime/GCATS/gc.o \
   ccomp/runtime/GCATS/gc_mt.o \
   atsopt1_gc \
   bin/atslex \
-  bin/atsdoc \
-  contrib
+  libatsdoca \
+  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 @@
 
 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




%%ATS_LIBDIR%%/libats/DATS/linheap_binomial.dats
%%ATS_LIBDIR%%/libats/DATS/linmap_avltree.dats
%%ATS_LIBDIR%%/libats/DATS/linmap_rbtree.dats
%%ATS_LIBDIR%%/libats/DATS/linmap_skiplist.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/SATS/linheap_binomial.sats
%%ATS_LIBDIR%%/libats/SATS/linmap_avltree.sats
%%ATS_LIBDIR%%/libats/SATS/linmap_rbtree.sats
%%ATS_LIBDIR%%/libats/SATS/linmap_skiplist.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/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%%/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

Return to bug 175539

Lines 1-13 Link Here

(-)./Makefile (-8 / +4 lines)
1	# New ports collection makefile for: ats	1	# Created by: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
2	# Date created: September 29 2011
3	# Whom: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
4	#
5	# $FreeBSD: ports/lang/ats/Makefile,v 1.10 2012/12/10 19:24:02 svnexp Exp $	2	# $FreeBSD: ports/lang/ats/Makefile,v 1.10 2012/12/10 19:24:02 svnexp Exp $
6	#
7		3
8	PORTNAME= ats	4	PORTNAME= ats
9	PORTVERSION= ${ATS_VER}	5	PORTVERSION= ${ATS_VER}
10	PORTREVISION= 1
11	CATEGORIES= lang	6	CATEGORIES= lang
12	MASTER_SITES= SF	7	MASTER_SITES= SF
13	MASTER_SITE_SUBDIR= ${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION}	8	MASTER_SITE_SUBDIR= ${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION}
Lines 48-54 Link Here
48	post-patch:	43	post-patch:
49	${SED} -i '' -e 's/gcc/${CC}/' \	44	${SED} -i '' -e 's/gcc/${CC}/' \
50	${WRKSRC}/ccomp/runtime/GCATS/Makefile \	45	${WRKSRC}/ccomp/runtime/GCATS/Makefile \
51	${WRKSRC}/utils/scripts/Makefile	46	${WRKSRC}/utils/scripts/Makefile \
		47	${WRKSRC}/libatsdoc/Makefile
52	${SED} -i '' -e 's/ATSCCOMP_def "gcc"/ATSCCOMP_def "${CC}"/' \	48	${SED} -i '' -e 's/ATSCCOMP_def "gcc"/ATSCCOMP_def "${CC}"/' \
53	${WRKSRC}/utils/scripts/basics.dats	49	${WRKSRC}/utils/scripts/basics.dats
54	${SED} -i '' -e 's/argv_p = "gcc"/argv_p = "${CC}"/' \	50	${SED} -i '' -e 's/argv_p = "gcc"/argv_p = "${CC}"/' \
Lines 64-70 Link Here
64	.endif	60	.endif
65		61
66	post-install:	62	post-install:
67	.if !defined(NOPORTDOCS)	63	.if ${PORT_OPTIONS:MDOCS}
68	${MKDIR} ${DOCSDIR}	64	${MKDIR} ${DOCSDIR}
69	cd ${WRKSRC}/doc && \	65	cd ${WRKSRC}/doc && \
70	${COPYTREE_SHARE} "${PORTDOCS}" ${DOCSDIR}	66	${COPYTREE_SHARE} "${PORTDOCS}" ${DOCSDIR}

Lines 1-5 Link Here

(-)./files/patch-Makefile (-15 / +7 lines)
1	--- Makefile.orig 2012-09-04 11:37:57.000000000 +0800	1	--- Makefile.orig 2013-01-24 10:49:41.547037509 +0800
2	+++ Makefile 2012-09-06 19:21:24.886921581 +0800	2	+++ Makefile 2013-01-24 10:55:14.781718163 +0800
3	@@ -59,12 +59,6 @@	3	@@ -59,12 +59,6 @@
4	autoheader $<	4	autoheader $<
5	touch $@	5	touch $@
Lines 40-66 Link Here
40		40
41	######	41	######
42		42
43	@@ -151,12 +147,11 @@	43	@@ -155,8 +151,7 @@
44	libfiles_mt \
45	bin/atspack \
46	bin/atslex \
47	- libatsdoca \
48	- bin/atsdoc \
49	ccomp/runtime/GCATS/gc.o \
50	ccomp/runtime/GCATS/gc_mt.o \	44	ccomp/runtime/GCATS/gc_mt.o \
51	atsopt1_gc \	45	atsopt1_gc \
		46	bin/atslex \
		47	- bin/atsdoc \
52	- contrib	48	- contrib
53	+ libatsdoca \
54	+ bin/atsdoc	49	+ bin/atsdoc
55	@echo "ATS/Anairiats has been built up successfully!"	50	@echo "ATS/Anairiats has been built up successfully!"
56	@echo "The value of ATSHOME for this build is \"$(ATSHOME)\"."	51	@echo "The value of ATSHOME for this build is \"$(ATSHOME)\"."
57	@echo "The value of ATSHOMERELOC for this build is \"$(ATSHOMERELOC)\"."	52	@echo "The value of ATSHOMERELOC for this build is \"$(ATSHOMERELOC)\"."
58	@@ -215,25 +210,25 @@	53	@@ -217,23 +212,23 @@
59
60	ATSLIB=$(ATSHOMEQ)/bin/atslib
61		54
62	-.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $<	55	.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $<
63	+.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $< ; sed -i '' -e '/linordset_randbst/d' $@
64	libfiles: .libfiles_local	56	libfiles: .libfiles_local
65	- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats	57	- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats
66	- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex	58	- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex

Lines 89-94 Link Here

(-)./pkg-plist (+5 lines)
89	%%ATS_LIBDIR%%/libats/DATS/linheap_binomial.dats	89	%%ATS_LIBDIR%%/libats/DATS/linheap_binomial.dats
90	%%ATS_LIBDIR%%/libats/DATS/linmap_avltree.dats	90	%%ATS_LIBDIR%%/libats/DATS/linmap_avltree.dats
91	%%ATS_LIBDIR%%/libats/DATS/linmap_rbtree.dats	91	%%ATS_LIBDIR%%/libats/DATS/linmap_rbtree.dats
		92	%%ATS_LIBDIR%%/libats/DATS/linmap_skiplist.dats
92	%%ATS_LIBDIR%%/libats/DATS/linordset_randbst.dats	93	%%ATS_LIBDIR%%/libats/DATS/linordset_randbst.dats
93	%%ATS_LIBDIR%%/libats/DATS/linqueue_arr.dats	94	%%ATS_LIBDIR%%/libats/DATS/linqueue_arr.dats
94	%%ATS_LIBDIR%%/libats/DATS/linqueue_lst.dats	95	%%ATS_LIBDIR%%/libats/DATS/linqueue_lst.dats
Lines 132-137 Link Here
132	%%ATS_LIBDIR%%/libats/SATS/linheap_binomial.sats	133	%%ATS_LIBDIR%%/libats/SATS/linheap_binomial.sats
133	%%ATS_LIBDIR%%/libats/SATS/linmap_avltree.sats	134	%%ATS_LIBDIR%%/libats/SATS/linmap_avltree.sats
134	%%ATS_LIBDIR%%/libats/SATS/linmap_rbtree.sats	135	%%ATS_LIBDIR%%/libats/SATS/linmap_rbtree.sats
		136	%%ATS_LIBDIR%%/libats/SATS/linmap_skiplist.sats
135	%%ATS_LIBDIR%%/libats/SATS/linordset_randbst.sats	137	%%ATS_LIBDIR%%/libats/SATS/linordset_randbst.sats
136	%%ATS_LIBDIR%%/libats/SATS/linqueue_arr.sats	138	%%ATS_LIBDIR%%/libats/SATS/linqueue_arr.sats
137	%%ATS_LIBDIR%%/libats/SATS/linqueue_lst.sats	139	%%ATS_LIBDIR%%/libats/SATS/linqueue_lst.sats
Lines 144-150 Link Here
144	%%ATS_LIBDIR%%/libats/SATS/parworkshop.sats	146	%%ATS_LIBDIR%%/libats/SATS/parworkshop.sats
145	%%ATS_LIBDIR%%/libats/SATS/rarray.sats	147	%%ATS_LIBDIR%%/libats/SATS/rarray.sats
146	%%ATS_LIBDIR%%/libats/SATS/refcount.sats	148	%%ATS_LIBDIR%%/libats/SATS/refcount.sats
		149	%%ATS_LIBDIR%%/libats/SATS/refcountr.sats
147	%%ATS_LIBDIR%%/libats/SATS/regexp.sats	150	%%ATS_LIBDIR%%/libats/SATS/regexp.sats
		151	%%ATS_LIBDIR%%/libats/SATS/sobjptr.sats
148	%%ATS_LIBDIR%%/libats/SATS/vector.sats	152	%%ATS_LIBDIR%%/libats/SATS/vector.sats
149	%%ATS_LIBDIR%%/libats/lex/lexing.dats	153	%%ATS_LIBDIR%%/libats/lex/lexing.dats
150	%%ATS_LIBDIR%%/libats/lex/lexing.sats	154	%%ATS_LIBDIR%%/libats/lex/lexing.sats
Lines 382-387 Link Here
382	%%ATS_LIBDIR%%/prelude/DATS/string.dats	386	%%ATS_LIBDIR%%/prelude/DATS/string.dats
383	%%ATS_LIBDIR%%/prelude/DATS/syndef.dats	387	%%ATS_LIBDIR%%/prelude/DATS/syndef.dats
384	%%ATS_LIBDIR%%/prelude/DATS/unsafe.dats	388	%%ATS_LIBDIR%%/prelude/DATS/unsafe.dats
		389	%%ATS_LIBDIR%%/prelude/DATS/vsubrw.dats
385	%%ATS_LIBDIR%%/prelude/HATS/lmacrodef.hats	390	%%ATS_LIBDIR%%/prelude/HATS/lmacrodef.hats
386	%%ATS_LIBDIR%%/prelude/HATS/number.hats	391	%%ATS_LIBDIR%%/prelude/HATS/number.hats
387	%%ATS_LIBDIR%%/prelude/HATS/syndef.hats	392	%%ATS_LIBDIR%%/prelude/HATS/syndef.hats