blob: e58aad23901f1bca332455cfac745671d26994c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
# New ports collection makefile for: polyml
# Date created: 09 July 2005
# Whom: Timothy Bourke <timbob@bigpond.com>
#
# $FreeBSD$
#
PORTNAME= polyml
PORTVERSION= 5.4
CATEGORIES= lang
MASTER_SITES= SF
DISTNAME= ${PORTNAME}.${PORTVERSION}
DIST_SUBDIR= ${PORTNAME}
MAINTAINER= beyert@cs.ucr.edu
COMMENT= Fast open-source implementation of Standard ML
LICENSE= LGPL21
LICENSE_FILE= ${WRKSRC}/COPYING
GNU_CONFIGURE= yes
CONFIGURE_ARGS= --without-x
USE_LDCONFIG= yes
ONLY_FOR_ARCHS= i386 amd64
PLIST_FILES= bin/poly \
bin/polyimport \
lib/libpolymain.a \
lib/libpolymain.la \
lib/libpolyml.a \
lib/libpolyml.la \
lib/libpolyml.so \
lib/libpolyml.so.3
MAN1= poly.1 polyimport.1
MANCOMPRESSED= no
.include <bsd.port.pre.mk>
.if ${OSVERSION} < 700000 && ${ARCH} == "amd64"
USE_GCC= 4.2+
.endif
.include <bsd.port.post.mk>
|
