blob: 867e07b745fe3bdadae4534c6eaa555012019617 (
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
|
# $FreeBSD$
PORTNAME= alt-ergo
PORTVERSION= 2015
CATEGORIES= math
MASTER_SITES= http://downloads.dragonlace.net/src/
PKGNAMESUFFIX= -spark
DISTNAME= alt-ergo-for-spark-gpl-${PORTVERSION}-src
MAINTAINER= marino@FreeBSD.org
COMMENT= Automatic solver for SPARK 2015
LICENSE= CeCILL-C
LICENSE_NAME= Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1
LICENSE_FILE= ${WRKSRC}/LICENSE
LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
BUILD_DEPENDS= ocaml-zarith>1.2:${PORTSDIR}/math/ocaml-zarith \
ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph
RUN_DEPENDS= ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph
USES= gmake
USE_OCAML= yes
GNU_CONFIGURE= yes
MAKE_ARGS= NAME=alt-ergo-spark
PLIST_FILES= bin/alt-ergo-spark man/man1/alt-ergo-spark.1.gz
post-install:
${MV} ${STAGEDIR}${MANPREFIX}/man/man1/alt-ergo.1 \
${STAGEDIR}${MANPREFIX}/man/man1/alt-ergo-spark.1.gz
.include <bsd.port.mk>
|